Daniel Gratzer

Daniel Gratzer

Aarhus University
Verified email at cs.au.dk
Cited by 422
Type Theory Logic Programming Languages Categorical Semantics
Matteo Sammartino

Matteo Sammartino

Royal Holloway University of London, University College London
Verified email at rhul.ac.uk
Cited by 331
Concurrency Theory Categorical Semantics Formal Languages
Mathieu Huot

Mathieu Huot

Research Scientist, MIT
Verified email at crans.org
Cited by 197
machine learning optimisation automatic differentiation categorical semantics functional programming languages
Matteo Spadetto

Matteo Spadetto

PhD student, School of Mathematics, University of Leeds
Verified email at leeds.ac.uk
Cited by 35
categorical logic dependent type theory homotopy type theory categorical semantics
Oliver Richardson

Oliver Richardson

Cornell University
Verified email at cs.cornell.edu
Cited by 16
probabilistic models information theory categorical semantics knowledge representation diagrammatic reasoning