A new approach to abstract syntax involving binders
- 20 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 22 references indexed in Scilit:
- Inductive definitions in the system Coq rules and propertiesPublished by Springer Nature ,2005
- Categorical models for local namesHigher-Order and Symbolic Computation, 1996
- Five axioms of alpha-conversionPublished by Springer Nature ,1996
- Substitution revisitedTheoretical Computer Science, 1988
- Abstract types have existential typeACM Transactions on Programming Languages and Systems, 1988
- Quotients of decidable objects in a toposMathematical Proceedings of the Cambridge Philosophical Society, 1983
- Sheaf models for set theoryJournal of Pure and Applied Algebra, 1980
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977
- Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theoremIndagationes Mathematicae, 1972
- A formulation of the simple theory of typesThe Journal of Symbolic Logic, 1940