Geodesic
The maximality of the typed lambda calculus and of cartesian closed categories
Publications de l'Institut Mathématique, _N_S_68 (2000) no. 82, p. 1 .

Voir la notice de l'article provenant de la source eLibrary of Mathematical Institute of the Serbian Academy of Sciences and Arts

From the analogue of Böhm's Theorem proved for the typed lambda calculus, without product types and with them, it is inferred that every cartesian closed category that satisfies an equality between arrows not satisfied in free cartesian closed categories must be a preorder. A new proof is given here of these results, which were obtained previously by Richard Statman and Alex K. Simpson.
Classification : 03B40 18D15 
@article{PIM_2000_N_S_68_82_a0,
     author = {Kosta Do\v{s}en and Zoran Petri\'c},
     title = {The maximality of the typed lambda calculus and of cartesian closed categories},
     journal = {Publications de l'Institut Math\'ematique},
     pages = {1 },
     publisher = {mathdoc},
     volume = {_N_S_68},
     number = {82},
     year = {2000},
     zbl = {0968.03019},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/PIM_2000_N_S_68_82_a0/}
}
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
SP  - 1 
VL  - _N_S_68
IS  - 82
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PIM_2000_N_S_68_82_a0/
LA  - en
ID  - PIM_2000_N_S_68_82_a0
ER  - 
%0 Journal Article
%A Kosta Došen
%A Zoran Petrić
%T The maximality of the typed lambda calculus and of cartesian closed categories
%J Publications de l'Institut Mathématique
%D 2000
%P 1 
%V _N_S_68
%N 82
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PIM_2000_N_S_68_82_a0/
%G en
%F PIM_2000_N_S_68_82_a0
Kosta Došen; Zoran Petrić. The maximality of the typed lambda calculus and of cartesian closed categories. Publications de l'Institut Mathématique, _N_S_68 (2000) no. 82, p. 1 . http://geodesic.mathdoc.fr/item/PIM_2000_N_S_68_82_a0/