The following pages link to Matthijs Vákár (Q1641013):
Displayed 12 items.
- Game semantics for dependent types (Q1641014) (← links)
- Correctness of automatic differentiation via diffeologies and categorical gluing (Q2200831) (← links)
- Reverse AD at higher types: pure, principled and denotationally correct (Q2233481) (← links)
- A Categorical Semantics for Linear Logical Frameworks (Q2948554) (← links)
- Games for Dependent Types (Q3449463) (← links)
- (Q5094126) (← links)
- CHAD for expressive total languages (Q6149934) (← links)
- Syntax and Semantics of Linear Dependent Types (Q6251162) (← links)
- On S-Finite Measures and Kernels (Q6307654) (← links)
- Principal Bundles and Gauge Theories (Q6380137) (← links)
- Topos-Theoretic Approaches to Quantum Theory (Q6380230) (← links)
- Logical Relations for Partial Features and Automatic Differentiation Correctness (Q6414082) (← links)