Metalanguages and Applications (1995)

by Eugenio Moggi
Venue:Semantics and Logics of Computation, Publications of the Newton Institute