Sciweavers

AC
2000
Springer

An Introduction to Dependent Type Theory

13 years 7 months ago
An Introduction to Dependent Type Theory
Gilles Barthe, Thierry Coquand
Added 01 Aug 2010
Updated 01 Aug 2010
Type Conference
Year 2000
Where AC
Authors Gilles Barthe, Thierry Coquand
Comments (0)