Author Details

Coquand, Thierry, Göteborg University, Sweden