The following pages link to Jonathan Gallagher (Q3178278):
Displayed 8 items.
- Timed Sets, Functional Complexity, and Computability (Q3178279) (← links)
- Latent Fibrations: Fibrations for Categories of Partial Maps (Q5004679) (← links)
- Categorical semantics of a simple differential programming language (Q5019684) (← links)
- Categorical models of the differential λ-calculus (Q5108533) (← links)
- (Q5874204) (← links)
- Monoidal reverse differential categories (Q5889303) (← links)
- Reverse derivative categories (Q6327285) (← links)
- Monoidal Reverse Differential Categories (Q6394507) (← links)