Back to Results
First PageMeta Content
Logic / Theoretical computer science / Logic in computer science / Mathematical logic / Programming language semantics / Philosophical logic / Non-classical logic / Operational semantics / Semantics / Kripke semantics / Modal logic / Axiomatic semantics


Local Actions for a Curry-style Operational Semantics ∗ Gordon Stewart Andrew W. Appel Princeton University, Princeton, NJ, USA
Add to Reading List

Document Date: 2010-11-22 11:49:24

Open Document

File Size: 213,27 KB

Share Result on Facebook