Thierry Coquand
AuthID: R-00K-T74
1
TITLE: Remarks on the equational theory of non-normalizing pure type systems
AUTHORS: Gilles Barthe; Thierry Coquand;
PUBLISHED: 2006, SOURCE: J. Funct. Program., VOLUME: 16, ISSUE: 2
AUTHORS: Gilles Barthe; Thierry Coquand;
PUBLISHED: 2006, SOURCE: J. Funct. Program., VOLUME: 16, ISSUE: 2
INDEXED IN: 
DBLP
DBLP2
TITLE: An Introduction to Dependent Type Theory
AUTHORS: Gilles Barthe; Thierry Coquand;
PUBLISHED: 2000, SOURCE: Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures, VOLUME: 2395
AUTHORS: Gilles Barthe; Thierry Coquand;
PUBLISHED: 2000, SOURCE: Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures, VOLUME: 2395
INDEXED IN: DBLP
DBLP