The maximality of the typed lambda calculus and of cartesian closed categories
Publications de l'Institut Mathématique (2000)
- Volume: 68(82), Issue: 88, page 1-19
- ISSN: 0350-1302
Access Full Article
top
How to cite
topKosta Došen, and Zoran Petrić. "The maximality of the typed lambda calculus and of cartesian closed categories." Publications de l'Institut Mathématique 68(82).88 (2000): 1-19. <http://eudml.org/doc/258130>.
@article{KostaDošen2000,
author = {Kosta Došen, Zoran Petrić},
journal = {Publications de l'Institut Mathématique},
keywords = {typed lambda calculus; cartesian closed categories},
language = {eng},
number = {88},
pages = {1-19},
publisher = {Matematički institut SANU},
title = {The maximality of the typed lambda calculus and of cartesian closed categories},
url = {http://eudml.org/doc/258130},
volume = {68(82)},
year = {2000},
}
TY - JOUR
AU - Kosta Došen
AU - Zoran Petrić
TI - The maximality of the typed lambda calculus and of cartesian closed categories
JO - Publications de l'Institut Mathématique
PY - 2000
PB - Matematički institut SANU
VL - 68(82)
IS - 88
SP - 1
EP - 19
LA - eng
KW - typed lambda calculus; cartesian closed categories
UR - http://eudml.org/doc/258130
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.