Verification and Constructive Algebra (Dagstuhl Seminar 03021)

Authors Thierry Coquand, Henri Lombardi, Marie-Françoise Roy



PDF
Thumbnail PDF

File

DagSemRep.362.pdf
  • Filesize: 1.04 MB
  • 17 pages

Document Identifiers

Author Details

Thierry Coquand
Henri Lombardi
Marie-Françoise Roy

Cite AsGet BibTex

Thierry Coquand, Henri Lombardi, and Marie-Françoise Roy. Verification and Constructive Algebra (Dagstuhl Seminar 03021). Dagstuhl Seminar Report 362, pp. 1-17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2004)
https://doi.org/10.4230/DagSemRep.362

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail