A Metalanguage for Programming with Bound Names Modulo Renaming
- 1 January 2000
- book chapter
- Published by Springer Nature
- p. 230-255
- https://doi.org/10.1007/10722010_15
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- The Functional Approach to ProgrammingPublished by Cambridge University Press (CUP) ,1998
- The Definition of Standard MLPublished by MIT Press ,1997
- IsabellePublished by Springer Nature ,1994
- Abstract types have existential typeACM Transactions on Programming Languages and Systems, 1988
- HOPEPublished by Association for Computing Machinery (ACM) ,1980
- Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theoremIndagationes Mathematicae, 1972