# 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 ?

topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.