---
layout: plt
title: computation/pragmatics
---

## operational semantics

big-step vs. little-step

## Resources:
- https://cs.stackexchange.com/questions/43294/difference-between-small-and-big-step-operational-semantics
- https://langdev.stackexchange.com/questions/3352/how-do-i-formally-define-a-programming-languages-meaning-step-by-step