Stable models of typed λ−calculi (1978)

by G Berry
Venue:ICALP’78 - Lect. Notes Comput. SC