Infinite lambda-calculus and non-sensible models (1996)

by Alessandro Berarducci