Browse Author Index

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z All

C

Caminati, Marco Bright, Sapienza - Università di Roma (Italy)
Carneiro, Mario M, Department of Mathematics, Ohio State University, Columbus OH 43210, USA (United States)
Chan, Hing Lun, Australian National University (Australia)
Chapman, James
Chapman, James, Institute of Cybernetics, Tallinn
Chaudhuri, Kaustuv, INRIA, France.
Chen, Ran, Institute of Software, Chinese Academy of Science, Beijing (China)
Chiarabini, Luca, Universita' degli studi di Parma (Italy)
Chlipala, Adam, Harvard University (United States)
Clochard, Martin, LRI (CNRS & Univ. Paris-Sud), Université Paris-Saclay (France)
Cohen, Liron, Tel Aviv University (Israel)
Coquand, Thierry, Göteborg University (Sweden)

1 - 12 of 12 Items