Matthijs V\'ak\'ar

Identifiers

No identifiers captured yet.

Papers (12)

1. Topos-Theoretic Approaches to Quantum Theory math-ph · 2021 · author #1
2. Principal Bundles and Gauge Theories math-ph · 2021 · author #1
3. CHAD: Combinatory Homomorphic Automatic Differentiation cs.PL · 2021 · author #1
4. Higher Order Automatic Differentiation of Higher Order Functions cs.PL · 2021 · author #3
5. On S-Finite Measures and Kernels math.PR · 2018 · author #1
6. Denotational validation of higher-order Bayesian inference cs.PL · 2017 · author #3
7. In Search of Effectful Dependent Types cs.LO · 2017 · author #1
8. An Effectful Treatment of Dependent Types cs.PL · 2016 · author #1
9. A Framework for Dependent Types and Effects cs.LO · 2015 · author #1
10. Games for Dependent Types cs.LO · 2015 · author #3
11. A Categorical Semantics for Linear Logical Frameworks cs.LO · 2015 · author #1
12. Syntax and Semantics of Linear Dependent Types cs.LO · 2014 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Sam Staton 2 shared papers
• Adam \'Scibior 1 shared papers
• Chris Heunen 1 shared papers
• Hongseok Yang 1 shared papers
• Klaus Ostermann 1 shared papers
• Luke Ong 1 shared papers
• Mathieu Huot 1 shared papers
• Ohad Kammar 1 shared papers
• Radha Jagadeesan 1 shared papers
• Samson Abramsky 1 shared papers
• Sean K. Moss 1 shared papers
• Tom Smeding 1 shared papers
• Yufei Cai 1 shared papers
• Zoubin Ghahramani 1 shared papers