Daniel Gratzer

Daniel Gratzer

Aarhus University
cs.au.dk의 이메일 확인됨
447회 인용
Type Theory Logic Programming Languages Categorical Semantics
Matteo Sammartino

Matteo Sammartino

Royal Holloway University of London, University College London
rhul.ac.uk의 이메일 확인됨
348회 인용
Concurrency Theory Categorical Semantics Formal Languages
Mathieu Huot

Mathieu Huot

Research Scientist, MIT
crans.org의 이메일 확인됨
227회 인용
machine learning optimisation automatic differentiation categorical semantics functional programming languages
Matteo Spadetto

Matteo Spadetto

PhD student, School of Mathematics, University of Leeds
leeds.ac.uk의 이메일 확인됨
37회 인용
categorical logic dependent type theory homotopy type theory categorical semantics
Oliver Richardson

Oliver Richardson

University of Montreal / Mila
cs.cornell.edu의 이메일 확인됨
17회 인용
probabilistic models information theory categorical semantics knowledge representation
Takahiro Sanada

Takahiro Sanada

Fukui Prefectural University
fpu.ac.jp의 이메일 확인됨
2회 인용
programming language category theory categorical semantics