Categories of partial morphisms and the relation between type structures. Partial variations on a theme of Friedman and Statman
Andrea Asperti ; Giuseppe Longo
Banach Center Publications, Tome 21 (1988), p. 21-45 / Harvested from The Polish Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1988-01-01
EUDML-ID : urn:eudml:doc:267802 
@article{bwmeta1.element.zamlynska-47e9b230-a994-40a0-9247-95abd2b20a70,
     author = {Andrea Asperti and Giuseppe Longo},
     title = {Categories of partial morphisms and the relation between type structures. Partial variations on a theme of Friedman and Statman},
     journal = {Banach Center Publications},
     volume = {21},
     year = {1988},
     pages = {21-45},
     zbl = {0761.68059},
     language = {en},
     url = {http://dml.mathdoc.fr/item/bwmeta1.element.zamlynska-47e9b230-a994-40a0-9247-95abd2b20a70}
}

Andrea Asperti; Giuseppe Longo. Categories of partial morphisms and the relation between type structures. Partial variations on a theme of Friedman and Statman. Banach Center Publications, Tome 21 (1988) pp. 21-45. http://gdmltest.u-ga.fr/item/bwmeta1.element.zamlynska-47e9b230-a994-40a0-9247-95abd2b20a70/