Q4649560
type: Item
instance of: scholarly article
zbMATH Open document ID: 1252.68259
author: Chantal Keller
author: Marc Lasson
publication date: 2012-11-22T00:00:00Z
full work available at URL: https://arxiv.org/abs/1209.6336
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 6109846
zbMATH Keywords: calculus of inductive constructions
zbMATH Keywords: parametricity
zbMATH Keywords: impredicativity
zbMATH Keywords: Coq
zbMATH Keywords: universes
describes a project that uses: Coq
MaRDI profile type: Publication
arXiv ID: 1209.6336
DOI: 10.4230/LIPICS.CSL.2012.381
description: scientific article; zbMATH DE number 6109846