05021 Abstracts Collection -- Mathematics, Algorithms, Proofs.

Thierry Coquand Henri Lombardi Marie-Françoise Roy 05021 Abstracts Collection -- Mathematics, Algorithms, Proofs. 2005 conf/dagstuhl/2005P5021 Mathematics, Algorithms, Proofs http://drops.dagstuhl.de/opus/volltexte/2006/303 db/conf/dagstuhl/P5021.html#CoquandLR05