Inductive Type Schemas as Functors
Authors:
- 1 January 2006
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 35-45
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Autarkic Computations in Formal ProofsJournal of Automated Reasoning, 2002
- Commutation, transformation, and termination1986