A simple type-theoretic language: Mini-TT
Book chapter, 2009
dependent types
type checker
recursive
programming language
type theory
data types
Author
Thierry Coquand
University of Gothenburg
Y. Kinoshita
National Institute of Advanced Industrial Science and Technology (AIST)
Bengt Nordström
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
M. Takeyama
National Institute of Advanced Industrial Science and Technology (AIST)
From Semantics to Computer Science : Essays in Honour of Gilles Kahn
Vol. 9780521518253 139-164
9780521518253 (ISBN)
Subject Categories
Computer Science
DOI
10.1017/CBO9780511770524.007
ISBN
9780521518253