Inductive Definitions and Type Theory: An Introduction (1994)

by Thierry Coquand , Peter Dybjer
Venue:Lecture Notes in Computer Science
Citations:8 - 0 self