Fokkinga and Erik Meijer. Program calculation properties of continuous algebras (1991)

by M Maarten
Venue:in Spanish; English translation in Salmon and Soames [62