Categories of partial morphisms and the relation between type structures. Partial variations on a theme of Friedman and Statman

• Autorzy: Andrea Asperti , Giuseppe Longo
• Języki publikacji: EN
• Wydawca: Institute of Mathematics Polish Academy of Sciences
• Czasopismo: Banach Center Publications
• Rocznik: 1988
• Tom: 21
• Numer: 1
• Strony: 21-45

Daty

wydano

1988

Twórcy

autor

Andrea Asperti

• Universita' degli Studi di Pisa, Dipartimento di Informatica, Pisa, Italia

autor

Giuseppe Longo

• Universita' degli Studi di Pisa, Dipartimento di Informatica, Pisa, Italia