A metatheoretic analysis of subtype universes

DOI10.4230/LIPICS.TYPES.2022.9MaRDI QIDQ6643039zbMATH OpenFDO

Authors Felix Bradley, Zhaohui Luo

Publication date 26 November 2024

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

zbMATH Keywords

coercive subtypingsubtype universestype theory

Mathematics Subject Classification ID

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

Cited in

(1)

• A dependently-typed calculus of event telicity and culminativity

This page was built for publication: A metatheoretic analysis of subtype universes

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