Профили

Douglas Bridges

University of Canterbury

Подтвержден адрес электронной почты в домене math.canterbury.ac.nz

Цитируется: 5800

Constructive mathematics mathematical economics

Giovanni Sambin

Professor of Mathematical Logic

Подтвержден адрес электронной почты в домене math.unipd.it

Цитируется: 5770

constructive mathematics logic philosophy of mathematics

Ulrich Berger

Associate Professor of Computer Science, Swansea University, UK

Подтвержден адрес электронной почты в домене swansea.ac.uk

Цитируется: 4609

Mathematical Logic Constructive Mathematics Theoretical Computer Science

Michael Beeson

Professor Emeritus of Mathematics and Computer Science, San Jose State University

Подтвержден адрес электронной почты в домене sjsu.edu

Цитируется: 3195

logic constructive mathematics foundations of geometry minimal surfaces

Martín Hötzel Escardó

Professor of Theoretical Computer Science, University of Birmingham,UK

Подтвержден адрес электронной почты в домене bham.ac.uk

Цитируется: 2602

homotopy type theory univalent foundations topology domain theory constructive mathematics

Zvi Schreiber

CEO, Freightos Ltd. ex-Cambridge, Imperial College

Подтвержден адрес электронной почты в домене zvi.net

Цитируется: 1896

Computer Science Mathematics Physics Business Constructive Mathematics

Ulrich Berger

Reader in Computer Science, Swansea University

Цитируется: 1878

Mathematical Logic Constructive Mathematics Theoretical Computer Science

Maria Emilia Maietti

Full Professor, University of Padova

Подтвержден адрес электронной почты в домене math.unipd.it

Цитируется: 1257

type theory categorical logic constructive mathematics

Yannick Forster

Cambium Team, Inria Paris

Подтвержден адрес электронной почты в домене inria.fr

Цитируется: 1140

Type Theory Constructive Mathematics Interactive Theorem Proving Programming Languages

Pietro Di Gianantonio

Università di Udine

Подтвержден адрес электронной почты в домене uniud.it

Цитируется: 775

Constructive Mathematics Formal Methods.

1 - 10