Scholarly Index

Thierry Coquand

University of Gothenburg; 3,616 total citations; 151 total publications; best world rank #99

University of Gothenburg