Inductive Definitions and Type Theory an Introduction (1994)

by T Coquand, P Dybjer
Venue:in Foundation of Software Technology and Theoretical Computer Science: 14th Conference