%0 Book Section %1 Coquand1987Concepts %A Coquand, Thierry %A Huet, Gérard %B Logic Colloquium '85 %D 1987 %I Elsevier %K 03f60-constructive-and-recursive-analysis 68q45-formal-languages-and-automata %P 123--146 %R 10.1016/s0049-237x(09)70551-8 %T Concepts Mathématiques et Informatiques Formalisés dans le Calcul des Constructions %U http://dx.doi.org/10.1016/s0049-237x(09)70551-8 %V 122 %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. %@ 9780444702111

@inbook{Coquand1987Concepts, 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/22fa95bad6ef8cff6022e3fd7cef8b41c/gdmcbain}, booktitle = {Logic Colloquium '85}, citeulike-article-id = {8976117}, citeulike-linkout-0 = {http://dx.doi.org/10.1016/s0049-237x(09)70551-8}, doi = {10.1016/s0049-237x(09)70551-8}, interhash = {959fee97f0be417e8c72cc943c94f4c5}, intrahash = {2fa95bad6ef8cff6022e3fd7cef8b41c}, isbn = {9780444702111}, issn = {0049237X}, keywords = {03f60-constructive-and-recursive-analysis 68q45-formal-languages-and-automata}, pages = {123--146}, posted-at = {2017-11-24 02:56:32}, priority = {2}, publisher = {Elsevier}, series = {Studies in Logic and the Foundations of Mathematics}, timestamp = {2019-03-01T00:11:50.000+0100}, title = {{Concepts Math\'{e}matiques et Informatiques Formalis\'{e}s dans le Calcul des Constructions}}, url = {http://dx.doi.org/10.1016/s0049-237x(09)70551-8}, volume = 122, year = 1987 }