Matthijs Vákár

Available identifiers

Publication	Date of Publication	Type
Slamming the sham: a Bayesian model for adaptive adjustment with noisy control data	2024-10-29	Paper
CHAD for expressive total languages	2024-03-05	Paper
Logical Relations for Partial Features and Automatic Differentiation Correctness	2022-10-16	Paper
https://portal.mardi4nfdi.de/entity/Q5094126	2022-08-02	Paper
Reverse AD at higher types: pure, principled and denotationally correct	2021-10-18	Paper
Principal Bundles and Gauge Theories	2021-10-11	Paper
Topos-Theoretic Approaches to Quantum Theory	2021-10-11	Paper
Correctness of automatic differentiation via diffeologies and categorical gluing	2020-09-23	Paper
On S-Finite Measures and Kernels	2018-10-03	Paper
Game semantics for dependent types	2018-06-14	Paper
Games for Dependent Types	2015-11-04	Paper
A Categorical Semantics for Linear Logical Frameworks	2015-10-01	Paper
Syntax and Semantics of Linear Dependent Types	2014-04-30	Paper
Free Doubly-Infinitary Distributive Categories are Cartesian Closed	N/A	Paper
Free extensivity via distributivity	N/A	Paper

This page was built for person: Matthijs Vákár