Frédéric Blanqui

Frédéric Blanqui

INRIA
Verified email at inria.fr
Cited by 1406
dependent type theory rewriting theory logic formal proofs proof assistants
Andrea Vezzosi

Andrea Vezzosi

Postdoc, IT University Copenhagen
Verified email at itu.dk
Cited by 507
computer science dependent type theory homotopy type theory
Nicolas Magaud

Nicolas Magaud

Associate Professor, University of Strasbourg
Verified email at unistra.fr
Cited by 398
proofs assistants formal proofs proof engineering Coq dependent type theory
Meven Lennon- Bertrand

Meven Lennon- Bertrand

Research Associate, University of Cambridge
Verified email at cam.ac.uk
Cited by 83
Dependent type theory Proof assistants
Larry Diehl

Larry Diehl

Postdoc, University of Iowa
Verified email at uiowa.edu
Cited by 33
dependent type theory
Matteo Spadetto

Matteo Spadetto

PhD student, School of Mathematics, University of Leeds
Verified email at leeds.ac.uk
Cited by 31
categorical logic dependent type theory homotopy type theory categorical semantics
Musa Al-hassy

Musa Al-hassy

McMaster University
Verified email at mcmaster.ca
Cited by 13
Computer Science Category Theory Dependent Type Theory Lisp Metaprogramming