Indexed induction–recursion
Authors:
- Peter DybjerPDPeter Dybjer
- Anton SetzerASAnton Setzer
- 1 January 2006
- journal article
- Published by Elsevier in The Journal of Logic and Algebraic Programming
- Vol. 66 (1) , 1-49
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Induction–recursion and initial algebrasAnnals of Pure and Applied Logic, 2003
- Generic Programming within Dependently Typed Programming2003
- Indexed Induction-RecursionLecture Notes in Computer Science, 2001
- A general formulation of simultaneous inductive-recursive definitions in type theoryThe Journal of Symbolic Logic, 2000
- Extending Martin-Löf Type Theory by one Mahlo-universeArchive for Mathematical Logic, 2000
- Monadic Presentations of Lambda Terms Using Generalized Inductive Types1999
- Inductive familiesFormal Aspects of Computing, 1994