Infinite lambda-calculus and non-sensible models, in: Logic and Algebra (Pontignano (1994)

by A Berarducci
Venue:Lecture Notes in Pure and Applied Mathematics Series/180