Gagan Chandan

Gagan Chandan

Computer Science student interested in Programming Languages and Software Security. Linux and FOSS enthusiast.

Posts by Tags

Coq

Operational Semantics

A practical introduction to natural/big-step semantics

33 minute read

Published:

Let’s say you have a simple program in Python. Read more

Programming Languages

Operational Semantics

A practical introduction to natural/big-step semantics

33 minute read

Published:

Let’s say you have a simple program in Python. Read more