A semantic basis for Quest (1991)

by L Cardelli, G Longo
Venue:Journal of Functional Programming