Thierry Coquand
AuthID: R-00K-T74
1
TÃTULO: Remarks on the equational theory of non-normalizing pure type systems
AUTORES: Gilles Barthe; Thierry Coquand;
PUBLICAÇÃO: 2006, FONTE: J. Funct. Program., VOLUME: 16, NÚMERO: 2
AUTORES: Gilles Barthe; Thierry Coquand;
PUBLICAÇÃO: 2006, FONTE: J. Funct. Program., VOLUME: 16, NÚMERO: 2
INDEXADO EM: 
DBLP
DBLP2
TÃTULO: An Introduction to Dependent Type Theory
AUTORES: Gilles Barthe; Thierry Coquand;
PUBLICAÇÃO: 2000, FONTE: Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures, VOLUME: 2395
AUTORES: Gilles Barthe; Thierry Coquand;
PUBLICAÇÃO: 2000, FONTE: Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures, VOLUME: 2395
INDEXADO EM: DBLP
DBLP