Completeness Theorems and lambda-Calculus.
Journal article, 2005
Author
Thierry Coquand
University of Gothenburg
TLCA 2005
1-9
Subject Categories
Computer Science