Formalized Metatheory with Terms Represented by an Indexed Family of Types
Author:
- 1 January 2006
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 1-16
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- A New Approach to Abstract Syntax with Variable BindingFormal Aspects of Computing, 2002
- Some Lambda Calculus and Type Theory FormalizedJournal of Automated Reasoning, 1999
- Monadic Presentations of Lambda Terms Using Generalized Inductive Types1999
- de Bruijn notation as a nested datatypeJournal of Functional Programming, 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 syntax1988