λ-calculus and cartesian closed categories. Essay for (1996)

by Lev96 P B Levy
Venue:Cambridge University