Categories of partial morphisms and the relation between type structures. Partial variations on a theme of Friedman and Statman - Banach Center Publications - Tom 21, Numer 1 (1988) - DML-PL - Yadda

Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl

Artykuł - szczegóły

Czasopismo

Banach Center Publications

1988 | 21 | 1 | 21-45

Tytuł artykułu

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

Autorzy

Andrea Asperti , Giuseppe Longo

Treść / Zawartość

Pełne teksty:

bcp_21_1_02.pdf

Pobierz

Warianty tytułu

Języki publikacji

EN

Abstrakty

Słowa kluczowe

Wydawca

Institute of Mathematics Polish Academy of Sciences

Czasopismo

Banach Center Publications

Rocznik

1988

Tom

21

Numer

1

Strony

21-45

Opis fizyczny

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

Bibliografia

Typ dokumentu

Bibliografia

Identyfikatory

Identyfikator YADDA

bwmeta1.element.zamlynska-47e9b230-a994-40a0-9247-95abd2b20a70

JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.