Typed operational semantics for higher order subtyping (1997)

by Adriana Compagnoni , Healfdene Goguen
Citations:13 - 4 self

Document Versions

Typed operational semantics for higher order subtyping –Adriana Compagnoni, Healfdene Goguen — 1997
Typed Operational Semantics for Higher Order Subtyping –Adriana Compagnoni, Healfdene Goguen — 1997
Typed Operational Semantics for Higher Order Subtyping –Adriana Compagnoni, Healfdene Goguen — 1997 — Information and Computation