%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