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 (1988)
- Volume: 21, Issue: 1, page 21-45
- ISSN: 0137-6934
Access Full Article
top
How to cite
topAndrea Asperti, and Giuseppe Longo. "Categories of partial morphisms and the relation between type structures. Partial variations on a theme of Friedman and Statman." Banach Center Publications 21.1 (1988): 21-45. <http://eudml.org/doc/267802>.
@article{AndreaAsperti1988,
author = {Andrea Asperti, Giuseppe Longo},
journal = {Banach Center Publications},
keywords = {categories withpartial morphisms; complete objects; partial computations; partial retraction systems; ; typed -calculus},
language = {eng},
number = {1},
pages = {21-45},
title = {Categories of partial morphisms and the relation between type structures. Partial variations on a theme of Friedman and Statman},
url = {http://eudml.org/doc/267802},
volume = {21},
year = {1988},
}
TY - JOUR
AU - Andrea Asperti
AU - Giuseppe Longo
TI - Categories of partial morphisms and the relation between type structures. Partial variations on a theme of Friedman and Statman
JO - Banach Center Publications
PY - 1988
VL - 21
IS - 1
SP - 21
EP - 45
LA - eng
KW - categories withpartial morphisms; complete objects; partial computations; partial retraction systems; ; typed -calculus
UR - http://eudml.org/doc/267802
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.