%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 2000
%N 88
%I mathdoc
%U https://geodesic-test.mathdoc.fr/item/PUIM_2000__2000_88_258130/
%G en
%F PUIM_2000__2000_88_258130