Publication

Language

Publisher

Subjects

Publication date

3Result(s)for '"Coquand Thierry"'
Sort
Total 3 item(s)

Resource list

By Coquand Thierry   in Positivity

ISSN:1385-1292|8|4|395-400

Springer Publishing Company ‎(2004)‎

Access to resources Favorite 21.34639

 

By Negri Sara   Plato Jan von   Coquand Thierry   in Archive for Mathematical Logic

ISSN:0933-5846|43|3|297-309

Springer Publishing Company ‎(2004)‎

Access to resources Favorite 12.807835

 

By Coquand Thierry   Lombardi Henri   Quitté Claude   in manuscripta mathematica

ISSN:0025-2611|115|4|513-520

Springer Publishing Company ‎(2004)‎

Access to resources Favorite 12.807835

 

Total 3 item(s)