Inductive definitions and type theory an introduction (preliminary version)
Paper i proceeding, 1994
Författare
Peter Dybjer
Programmeringslogik
Thierry Coquand
Chalmers, Data- och informationsteknik, Datavetenskap
Foundation of Software Technology and Theoretical Computer Science: 14th Conference Madras, India; (Lecture Notes in Computer Science; 880)
Vol. 880 60-76
3-540-58715-2 (ISBN)
Ämneskategorier
Annan matematik
DOI
10.1007/3-540-58715-2_114
ISBN
3-540-58715-2