A syntactical proof of the marriage lemma
Artikel i vetenskaplig tidskrift, 2003
Författare
Thierry Coquand
Göteborgs universitet
Theoretical Computer Science
0304-3975 (ISSN)
Vol. 290 1 1107-1113Ämneskategorier
Datavetenskap (datalogi)
DOI
10.1016/S0304-3975(02)00079-8