"Mathematics, Algorithms, Proofs, 9.-14. January 2005"

Thierry Coquand, Henri Lombardi, Marie-Françoise Roy (2006)

Details and statistics

DOI:

access: open

type: Editorship

metadata version: 2021-06-10