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

by A Berarducci
Venue:In Logic and Algebra