## The maximality of the typed lambda calculus and of cartesian closed categories

by
Zoran Petrić

Venue: | Publ. Inst. Math. (N.S |

Citations: | 18 - 1 self |