Download PDF - Categories of partial morphisms and the relation between type structures. Partial variations on a theme of Friedman and StatmanAll rights reserved. Copyright exceptions and limitations apply

ArticleOriginal scientific text

Title

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

Authors 1, 1

Affiliations

  1. Universita' degli Studi di Pisa, Dipartimento di Informatica, Pisa, Italia
Banach Center Publications
1988/21/1
Export to PBN, Opens in new tab
Pages:
21-45
Main language of publication
English
Published
1988
Exact and natural sciences