Problems in type theory (1999)

by Henk Barendregt
Venue:Computational Logic, Proceedings of the NATO Advanced Study Institute on Computational Logic, held in Marktoberdorf, 1997, volume 165 of Series F: ZF a hack? 19 Computer and Systems Sciences
Citations:2 - 0 self