Expansion and conversion models in the lambda calculus from filters with polymorphic types (1989)

by Bart Jacobs, Ines Margaria, Maddalena Zacchi