Filter dates
Overview
- open or closed
- log polar mapping
- logical theories
- highly expressive
- knowledge representation languages
Publications
Free Doubly-Infinitary Distributive Categories are Cartesian Closed.
CoRR
Monoidal closure of Grothendieck constructions via Σ-tractable monoidal structures and Dialectica formulas.
CoRR
Descent for internal multicategory functors.
Appl. Categorical Struct.
CHAD for expressive total languages.
Math. Struct. Comput. Sci.
Automatic Differentiation for ML-family languages: correctness via logical relations.
CoRR
Logical Relations for Partial Features and Automatic Differentiation Correctness.
CoRR