Subtype universes

DOI10.4230/LIPICS.TYPES.2020.9MaRDI QIDQ7232187zbMATH OpenFDO

Authors Harry Maclean, Zhaohui Luo

Publication date 22 April 2026

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.4230/LIPICS.TYPES.2020.9

zbMATH Keywords

coercive subtypingsubtype universetype theory

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites work

• An extension of system \(F\) with subtyping
• Bounded quantification is undecidable
• Coercive subtyping
• Coercive subtyping: theory and implementation
• scientific article; zbMATH DE number 1670475 (Why is no real title available?)
• scientific article; zbMATH DE number 3910392 (Why is no real title available?)
• scientific article; zbMATH DE number 50149 (Why is no real title available?)
• scientific article; zbMATH DE number 3485174 (Why is no real title available?)
• scientific article; zbMATH DE number 591911 (Why is no real title available?)
• scientific article; zbMATH DE number 783772 (Why is no real title available?)
• The metatheory of UTT

This page was built for publication: Subtype universes

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