Formalized Metatheory with Terms Represented by an Indexed Family of Types
- 1 January 2006
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- A New Approach to Abstract Syntax with Variable BindingFormal Aspects of Computing, 2002
- Monadic Presentations of Lambda Terms Using Generalized Inductive TypesLecture Notes in Computer Science, 1999
- de Bruijn notation as a nested datatypeJournal of Functional Programming, 1999
- Some Lambda Calculus and Type Theory FormalizedJournal of Automated Reasoning, 1999
- Substitution: A formal methods case study using monads and transformationsScience of Computer Programming, 1994
- Typing in Pure Type SystemsInformation and Computation, 1993
- Higher-order abstract syntaxPublished by Association for Computing Machinery (ACM) ,1988