diff options
Diffstat (limited to 'sosexamp.tex')
| -rw-r--r-- | sosexamp.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sosexamp.tex b/sosexamp.tex index 09271a1..641acb4 100644 --- a/sosexamp.tex +++ b/sosexamp.tex @@ -10,8 +10,8 @@ zijn. Wij hadden een voorkeur om natuurlijke semantiek te gebruiken omdat we hier meer bekend mee zijn. Echter willen we ook nog graag laten zien hoe het eruit zou zien als je structurele operationele semantiek zou gebruiken. -We gebruiken hier in plaats van de lambdaregel twee compositieregels om hiervan -ook het verschil aan te geven. +We gebruiken hier in plaats van de $\lambda$-regel twee compositieregels om +hiervan ook het verschil aan te geven. De twee compositieregels zijn als volgt: |