Subtyping over a lattice

MaRDI QIDQ4364505zbMATH OpenFDO

Authors Jerzy Tiuryn

Publication date 15 April 1998

zbMATH Keywords

alternating direct acyclic graphsnotation system for typessimply typed lambda calculussubtyping

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• Satisfying subtype inequalities in polynomial space
• Some complexity bounds for subtype inequalities
• Polymorphic lambda calculus and subtyping.
• scientific article; zbMATH DE number 922624
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science

Cited in

(1)

• scientific article; zbMATH DE number 431770 (Why is no real title available?)

This page was built for publication: Subtyping over a lattice

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4364505)