Effectively given domains and lambda-calculus semantics, Nota Scientifica S803, Universitd di (1983)

by P GIANNINI, G LONGO