Add reference about Core's operational semantics.
authorMatthijs Kooijman <matthijs@stdin.nl>
Sun, 6 Dec 2009 20:17:28 +0000 (21:17 +0100)
committerMatthijs Kooijman <matthijs@stdin.nl>
Sun, 6 Dec 2009 20:17:28 +0000 (21:17 +0100)
commit2c28bdc6ca8e883697d9640166bf17fb8a329cec
tree2b2b72b0848d123c7b0a286485b729d796291367
parent124f838008d9e63d36d6626ebeb453d9f83129dc
Add reference about Core's operational semantics.
Chapters/Normalization.tex
Report.bib