Completeness Theorems and lambda-Calculus.
Journal article, 2005

Author

Thierry Coquand

University of Gothenburg

TLCA 2005

1-9

Subject Categories

Computer Science

More information

Created

10/10/2017