A syntactical proof of the Marriage Lemm
โ
Thierry Coquand
๐
Article
๐
2003
๐
Elsevier Science
๐
English
โ 96 KB