Metalanguages and applications. Notes for Summer School on Semantics and Logics of Computation (1995)

by E Moggi