TY  - RPRT
TI  - The Maximality of the Typed Lambda Calculus and of Cartesian Closed Categories
AU  - Kosta Dosen
AU  - Zoran Petric
PY  - 2012
UR  - https://arxiv.org/abs/math/9911073
ID  - math/9911073
ER  -