Douglas Bridges

Douglas Bridges

University of Canterbury
在 math.canterbury.ac.nz 的电子邮件经过验证
被引用次数：5756
Constructive mathematics mathematical economics
Giovanni Sambin

Giovanni Sambin

Professor of Mathematical Logic
在 math.unipd.it 的电子邮件经过验证
被引用次数：5713
constructive mathematics logic philosophy of mathematics
Ulrich Berger

Ulrich Berger

Associate Professor of Computer Science, Swansea University, UK
在 swansea.ac.uk 的电子邮件经过验证
被引用次数：4510
Mathematical Logic Constructive Mathematics Theoretical Computer Science
Michael Beeson

Michael Beeson

Professor Emeritus of Mathematics and Computer Science, San Jose State University
在 sjsu.edu 的电子邮件经过验证
被引用次数：3168
logic constructive mathematics foundations of geometry minimal surfaces
Martín Hötzel Escardó

Martín Hötzel Escardó

Professor of Theoretical Computer Science, University of Birmingham,UK
在 bham.ac.uk 的电子邮件经过验证
被引用次数：2548
homotopy type theory univalent foundations topology domain theory constructive mathematics
Ulrich Berger

Ulrich Berger

Reader in Computer Science, Swansea University
被引用次数：1860
Mathematical Logic Constructive Mathematics Theoretical Computer Science
Zvi Schreiber

Zvi Schreiber

CEO, Freightos Ltd. ex-Cambridge, Imperial College
在 zvi.net 的电子邮件经过验证
被引用次数：1854
Computer Science Mathematics Physics Business Constructive Mathematics
Maria Emilia Maietti

Maria Emilia Maietti

Full Professor, University of Padova
在 math.unipd.it 的电子邮件经过验证
被引用次数：1204
type theory categorical logic constructive mathematics
Yannick Forster

Yannick Forster

Cambium Team, Inria Paris
在 inria.fr 的电子邮件经过验证
被引用次数：1089
Type Theory Constructive Mathematics Interactive Theorem Proving Programming Languages
Pietro Di Gianantonio

Pietro Di Gianantonio

Università di Udine
在 uniud.it 的电子邮件经过验证
被引用次数：763
Constructive Mathematics Formal Methods.
1 - 10