13 citations · 14 across the 4 of their papers we have counts for
5 papers
A Categorical Semantics for Linear Logical Frameworks
Matthijs Vákár
A type theory is presented that combines (intuitionistic) linear types with type dependency, thus properly generalising both intuitionistic dependent type theory and full linear lo…
Syntax and Semantics of Linear Dependent Types
Matthijs Vákár
A type theory is presented that combines (intuitionistic) linear types with type dependency, thus properly generalising both intuitionistic dependent type theory and full linear lo…
Topos-Theoretic Approaches to Quantum Theory
Matthijs Vákár
This review paper surveys work by Isham, Butterfield, Döring, Landsman, Spitters, Heunen, and others on topos-theoretic analyses of quantum theory. It aims to provide a synthesize…
Principal Bundles and Gauge Theories
Matthijs Vákár
This set of lecture notes first gives an introduction to the geometry of principal bundles. Next, it demonstrates how they can be used to formalize the concept of gauge theories ar…
Slamming the sham: A Bayesian model for adaptive adjustment with noisy control data
Andrew Gelman, Matthijs Vákár
It is not always clear how to adjust for control data in causal inference, balancing the goals of reducing bias and variance. We show how, in a setting with repeated experiments, B…