Definitional Extension in Type Theory
type: Item
instance of: scholarly article
zbMATH Open document ID: 1359.03012
author: Tao Xue
publication date: 2017-03-13T00:00:00Z
Mathematics Subject Classification ID: 03B15
Mathematics Subject Classification ID: 03B70
zbMATH DE Number: 6694188
zbMATH Keywords: conservative extension
zbMATH Keywords: definitional extension
zbMATH Keywords: subtype
zbMATH Keywords: coercive subtyping
MaRDI profile type: MaRDI publication profile
full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2014/4635/
OpenAlex ID: W2898556184
title: Definitional Extension in Type Theory
DOI: 10.4230/LIPICS.TYPES.2013.251
description: scientific article; zbMATH DE number 6694188