Jonathan Gallagher

From MaRDI portal



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!

PublicationDate of PublicationType
Factorization systems for restriction categories
Theory and Applications of Categories
2024-08-27Paper
Monoidal reverse differential categories
Mathematical Structures in Computer Science
2023-04-19Paper
scientific article; zbMATH DE number 7650831 (Why is no real title available?)
(available as arXiv preprint)
2023-02-07Paper
Monoidal Reverse Differential Categories
(available as arXiv preprint)
2022-03-23Paper
Categorical semantics of a simple differential programming language2022-01-10Paper
Categorical semantics of a simple differential programming language
(available as arXiv preprint)
2022-01-10Paper
Latent fibrations: fibrations for categories of partial maps2021-08-03Paper
Latent fibrations: fibrations for categories of partial maps
(available as arXiv preprint)
2021-08-03Paper
Categorical models of the differential λ-calculus
Mathematical Structures in Computer Science
2020-05-04Paper
Reverse derivative categories
(available as arXiv preprint)
2019-10-15Paper
Timed Sets, Functional Complexity, and Computability
Electronic Notes in Theoretical Computer Science
2016-07-08Paper


Research outcomes over time


This page was built for person: Jonathan Gallagher