Effectively given domains and lambda-calculus models (1984)

by P Giannini, G Longo
Venue:Information and Control