Stable models of typed lambda-calculi (1978)

by G Berry
Venue:in: ICALP’78, LNCS 62