Definitional extension in type theory

DOI10.4230/LIPICS.TYPES.2013.251MaRDI QIDQ2968420zbMATH OpenOpenAlexFDO

Authors Tao Xue

Publication date 13 March 2017

Full work available at URL https://drops.dagstuhl.de/opus/volltexte/2014/4635/

zbMATH Keywords

conservative extensiondefinitional extensioncoercive subtypingsubtype

Mathematics Subject Classification ID

Logic in computer science (03B70)

Recommendations

• Coercion completion and conservativity in coercive subtyping
• scientific article; zbMATH DE number 2003159
• Coercive subtyping
• Coercive subtyping: theory and implementation
• scientific article; zbMATH DE number 1086673

Cited in

(3)

• On strict and simple type extensions
• Generalizing Def and Pos to Type Analysis
• Weakly Definable Types

This page was built for publication: Definitional extension in type theory

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