Benjamin MacAdam

According to our database, Benjamin MacAdam authored at least 2 papers between 2020 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Vector Bundles and Differential Bundles in the Category of Smooth Manifolds.

Benjamin MacAdam

Appl. Categorical Struct., 2021

2020

Reverse Derivative Categories.

J. Robin B. Cockett, Geoff S. H. Cruttwell, Jonathan Gallagher, Jean-Simon Pacaud Lemay, Benjamin MacAdam, Gordon D. Plotkin, Dorette Pronk

Proceedings of the 28th EACSL Annual Conference on Computer Science Logic, 2020