Login / Signup

Anti-Symmetry of Higher-Order Subtyping.

Adriana B. CompagnoniHealfdene Goguen
Published in: CSL (1999)
Keyphrases