%0 Conference Paper %1 conf/dagstuhl/Coquand05 %A Coquand, Thierry %B Mathematics, Algorithms, Proofs %D 2005 %E Coquand, Thierry %E Lombardi, Henri %E Roy, Marie-Françoise %I Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany %K dblp %T 05021 Executive Summary -- Mathematics, Algorithms, Proofs. %U http://dblp.uni-trier.de/db/conf/dagstuhl/P5021.html#Coquand05 %V 05021

@inproceedings{conf/dagstuhl/Coquand05, added-at = {2018-08-23T00:00:00.000+0200}, author = {Coquand, Thierry}, biburl = {https://www.bibsonomy.org/bibtex/21a202e843e6a4377899bbc90bc4e3614/dblp}, booktitle = {Mathematics, Algorithms, Proofs}, crossref = {conf/dagstuhl/2005P5021}, editor = {Coquand, Thierry and Lombardi, Henri and Roy, Marie-Françoise}, ee = {http://drops.dagstuhl.de/opus/volltexte/2006/438}, interhash = {9a1c0a8e198bfc46ce1a764568b5b0b3}, intrahash = {1a202e843e6a4377899bbc90bc4e3614}, keywords = {dblp}, publisher = {Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany}, series = {Dagstuhl Seminar Proceedings}, timestamp = {2024-04-09T10:24:35.000+0200}, title = {05021 Executive Summary -- Mathematics, Algorithms, Proofs.}, url = {http://dblp.uni-trier.de/db/conf/dagstuhl/P5021.html#Coquand05}, volume = 05021, year = 2005 }