%0 Report %1 Coquand1986Concepts %A Coquand, Thierry %A Huet, Gérard %D 1986 %K 03f60-constructive-and-recursive-analysis 68q45-formal-languages-and-automata %N 515 %T Concepts Mathématiques et Informatiques Formalisés dans le Calcul des Constructions %U https://hal.inria.fr/inria-00076039 %X Nous présentons un essai de mécanisation de concepts mathématiques et informatiques sans le Calcul de Constructions. Tous les exemples présentés ont été vérifiés par machine.

@techreport{Coquand1986Concepts, abstract = {{Nous pr\'{e}sentons un essai de m\'{e}canisation de concepts math\'{e}matiques et informatiques sans le Calcul de Constructions. Tous les exemples pr\'{e}sent\'{e}s ont \'{e}t\'{e} v\'{e}rifi\'{e}s par machine.}}, added-at = {2019-03-01T00:11:50.000+0100}, author = {Coquand, Thierry and Huet, G\'{e}rard}, biburl = {https://www.bibsonomy.org/bibtex/2bd6ed56befef45153ce658fa55ee0774/gdmcbain}, citeulike-article-id = {14482445}, citeulike-attachment-1 = {coquand_86_concepts.pdf; /pdf/user/gdmcbain/article/14482445/1123332/coquand_86_concepts.pdf; 321b5737f84efbf3c4d1cc0946dbe32019d513f3}, citeulike-linkout-0 = {https://hal.inria.fr/inria-00076039}, file = {coquand_86_concepts.pdf}, howpublished = {INRIA}, institution = {INRIA}, interhash = {c23d9c7b4a7e46dfa50ba63d809613a8}, intrahash = {bd6ed56befef45153ce658fa55ee0774}, keywords = {03f60-constructive-and-recursive-analysis 68q45-formal-languages-and-automata}, month = apr, number = 515, posted-at = {2017-11-24 03:02:43}, priority = {2}, timestamp = {2019-03-01T00:11:50.000+0100}, title = {{Concepts Math\'{e}matiques et Informatiques Formalis\'{e}s dans le Calcul des Constructions}}, url = {https://hal.inria.fr/inria-00076039}, year = 1986 }