Definitional extension in type theory

DOI10.4230/LIPICS.TYPES.2013.251zbMATH Open1359.03012OpenAlexW2898556184MaRDI QIDQ2968420FDOQ2968420

Authors: Tao Xue 

Publication date: 13 March 2017

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

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

zbMATH Keywords

conservative extensiondefinitional extensioncoercive subtypingsubtype

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cited In (3)

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

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)