Typed operational semantics
- 1 January 1995
- book chapter
- Published by Springer Nature
- p. 186-200
- https://doi.org/10.1007/bfb0014053
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Pure type systems formalizedPublished by Springer Nature ,2005
- The metatheory of UTTPublished by Springer Nature ,1995
- Typed operational semanticsPublished by Springer Nature ,1995
- An algorithm for testing conversion in type theoryPublished by Cambridge University Press (CUP) ,1991
- Type Systems for Programming LanguagesPublished by Elsevier ,1990
- An Intuitionistic Theory of Types: Predicative PartPublished by Elsevier ,1975
- Intensional interpretations of functionals of finite type IThe Journal of Symbolic Logic, 1967