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

Cached

Download Links

by Zoran Petrić
Venue:Publ. Inst. Math. (N.S
Citations:18 - 1 self