Displaying similar documents to “The maximality of the typed lambda calculus and of cartesian closed categories”