Login / Signup

Operational Subsumption, an Ideal Model of Subtyping.

Laurent Dami
Published in: Electron. Notes Theor. Comput. Sci. (1997)
Keyphrases