Inductive Definitions and Type Theory: An Introduction (1994)

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