Matthijs Vákár

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Slamming the sham: a Bayesian model for adaptive adjustment with noisy control data Statistics in Medicine	2024-10-29	Paper
CHAD for expressive total languages Mathematical Structures in Computer Science	2024-03-05	Paper
Logical Relations for Partial Features and Automatic Differentiation Correctness	2022-10-16	Paper
scientific article; zbMATH DE number 7566054 (Why is no real title available?)	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 Information and Computation	2018-06-14	Paper
Games for dependent types Automata, Languages, and Programming	2015-11-04	Paper
A categorical semantics for linear logical frameworks Lecture Notes in Computer Science	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

Research outcomes over time

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