Effectively given domains and lambda-calculus semantics (1984)

by P Giannini
Venue:Information and Control