Comptes Rendus

1 result

Thierry Coquand

Comptes Rendus. Mathématique, Volume 338 (2004) no. 4 p. 291-294