Natural semantics and some of its meta-theory in Elf
- 9 June 2005
- book chapter
- Published by Springer Nature
- p. 299-344
- https://doi.org/10.1007/bfb0013612
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Natural semanticsPublished by Springer Nature ,2005
- Elf: a language for logic definition and verified metaprogrammingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Logic programming in the LF logical frameworkPublished by Cambridge University Press (CUP) ,1991
- From operational semantics to abstract machines: preliminary resultsPublished by Association for Computing Machinery (ACM) ,1990
- Higher-order abstract syntaxPublished by Association for Computing Machinery (ACM) ,1988
- A natural deduction treatment of operational semanticsPublished by Springer Nature ,1988
- A simple applicative language: mini-MLPublished by Association for Computing Machinery (ACM) ,1986
- Principal type-schemes for functional programsPublished by Association for Computing Machinery (ACM) ,1982
- A formulation of the simple theory of typesThe Journal of Symbolic Logic, 1940