Un Calcul des Constructions implicite avec sommes dépendantes et à inférence de type décidable. (An implicit Calculus of Constructions with dependent sums and decidable type inference).
B. Bernardo. École Polytechnique, Palaiseau, France, (2015)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Thesis
%1 phd/hal/Bernardo15
%A Bernardo, Bruno
%D 2015
%K dblp
%T Un Calcul des Constructions implicite avec sommes dépendantes et à inférence de type décidable. (An implicit Calculus of Constructions with dependent sums and decidable type inference).
@phdthesis{phd/hal/Bernardo15,
added-at = {2020-07-21T00:00:00.000+0200},
author = {Bernardo, Bruno},
biburl = {https://www.bibsonomy.org/bibtex/2789f4450d04b8606360f3c73dacaa0ec/dblp},
ee = {https://tel.archives-ouvertes.fr/tel-01197380},
interhash = {5f05eac60ef66896f6cc7f220b25404b},
intrahash = {789f4450d04b8606360f3c73dacaa0ec},
keywords = {dblp},
school = {École Polytechnique, Palaiseau, France},
timestamp = {2020-07-24T00:51:04.000+0200},
title = {Un Calcul des Constructions implicite avec sommes dépendantes et à inférence de type décidable. (An implicit Calculus of Constructions with dependent sums and decidable type inference).},
year = 2015
}