Article,
Gradualizing the Calculus of Inductive Constructions.
M. Lennon-Bertrand, K. Maillard, N. Tabareau, and É. Tanter.CoRR, (2020)
Meta data
- BibTeX key
- journals/corr/abs-2011-10618
- entry type
- article
- year
- 2020
- journal
- CoRR
- volume
- abs/2011.10618
- ee
- https://arxiv.org/abs/2011.10618
- url
- http://dblp.uni-trier.de/db/journals/corr/corr2011.html#abs-2011-10618
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 journals/corr/abs-2011-10618
%A Lennon-Bertrand, Meven
%A Maillard, Kenji
%A Tabareau, Nicolas
%A Tanter, Éric
%D 2020
%J CoRR
%K dblp
%T Gradualizing the Calculus of Inductive Constructions.
%U http://dblp.uni-trier.de/db/journals/corr/corr2011.html#abs-2011-10618
%V abs/2011.10618
@article{journals/corr/abs-2011-10618,
added-at = {2020-11-25T00:00:00.000+0100},
author = {Lennon-Bertrand, Meven and Maillard, Kenji and Tabareau, Nicolas and Tanter, Éric},
biburl = {https://www.bibsonomy.org/bibtex/2cec1f399e67a41f101f6c767fed12a34/dblp},
ee = {https://arxiv.org/abs/2011.10618},
interhash = {061e7fd538c5f8722c633cb8c74a4c63},
intrahash = {cec1f399e67a41f101f6c767fed12a34},
journal = {CoRR},
keywords = {dblp},
timestamp = {2020-11-26T11:34:59.000+0100},
title = {Gradualizing the Calculus of Inductive Constructions.},
url = {http://dblp.uni-trier.de/db/journals/corr/corr2011.html#abs-2011-10618},
volume = {abs/2011.10618},
year = 2020
}