%0 Conference Paper %1 conf/eurocal/CoquandH85 %A Coquand, Thierry %A Huet, Gérard P. %B European Conference on Computer Algebra (1) %D 1985 %E Buchberger, Bruno %I Springer %K dblp %P 151-184 %T Constructions: A Higher Order Proof System for Mechanizing Mathematics. %U http://dblp.uni-trier.de/db/conf/eurocal/eurocal1985-1.html#CoquandH85 %V 203 %@ 3-540-15983-5

@inproceedings{conf/eurocal/CoquandH85, added-at = {2017-05-19T00:00:00.000+0200}, author = {Coquand, Thierry and Huet, Gérard P.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2c909a4b5c13e1d24633c611faa659ad3/dblp}, booktitle = {European Conference on Computer Algebra (1)}, crossref = {conf/eurocal/1985-1}, editor = {Buchberger, Bruno}, ee = {https://doi.org/10.1007/3-540-15983-5_13}, interhash = {0a3e582b3b85afc42ab70bd40c8d3d4c}, intrahash = {c909a4b5c13e1d24633c611faa659ad3}, isbn = {3-540-15983-5}, keywords = {dblp}, pages = {151-184}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T18:00:13.000+0200}, title = {Constructions: A Higher Order Proof System for Mechanizing Mathematics.}, url = {http://dblp.uni-trier.de/db/conf/eurocal/eurocal1985-1.html#CoquandH85}, volume = 203, year = 1985 }