A natural deduction treatment of operational semantics
- 1 January 1988
- book chapter
- Published by Springer Nature
- p. 250-269
- https://doi.org/10.1007/3-540-50517-2_85
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Syntactic control of interferencePublished by Association for Computing Machinery (ACM) ,1978
- The Mechanical Evaluation of ExpressionsThe Computer Journal, 1964