Definitional Extension in Type Theory

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

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)

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)