Infinite lambda-calculus and nonsensible models (0)

by A Berarducci
Venue:Logic and Algebra, Lecture