A syntactical proof of the marriage lemma
Journal article, 2003
Author
Thierry Coquand
University of Gothenburg
Published in
Theoretical Computer Science
0304-3975 (ISSN)
Vol. 290 Issue 1 p. 1107-1113Categorizing
Subject Categories (SSIF 2011)
Computer Science
Identifiers
DOI
10.1016/S0304-3975(02)00079-8