Stable models of typed lambda-calculi (1978)

by G Berry
Venue:In Proc. 5th Int. Coll. on Automata, Languages and Programming, LNCS 62