Brendan Fong

According to our database, Brendan Fong authored at least 14 papers between 2015 and 2022.

Collaborative distances:

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

2022

Extracting Mathematical Concepts from Text.

Jacob Collard, Valeria de Paiva, Brendan Fong, Eswaran Subrahmanian

Proceedings of the Eighth Workshop on Noisy User-generated Text, 2022

2020

Behavioral Mereology: A Modal Logic for Passing Constraints.

Brendan Fong, David Jaz Myers, David I. Spivak

Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, 2020

2019

String Diagrams for Regular Logic (Extended Abstract).

Brendan Fong, David I. Spivak

Proceedings of the Proceedings Applied Category Theory 2019, 2019

Backprop as Functor: A compositional perspective on supervised learning.

Brendan Fong, David I. Spivak, Rémy Tuyéras

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

Lenses and Learners.

Brendan Fong, Michael Johnson

Proceedings of the 8th International Workshop on Bidirectional Transformations co-located with the Philadelphia Logic Week, 2019

2018

Universal Constructions for (Co)Relations: categories, monoidal categories, and props.

Brendan Fong, Fabio Zanasi

Log. Methods Comput. Sci., 2018

Graphical Regular Logic.

Brendan Fong, David I. Spivak

CoRR, 2018

Hypergraph Categories.

Brendan Fong, David I. Spivak

CoRR, 2018

2017

Decorated Corelations.

Brendan Fong

CoRR, 2017

A Universal Construction for (Co)Relations.

Brendan Fong, Fabio Zanasi

Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science, 2017

2016

The algebra of open and interconnected systems.

Brendan Fong

PhD thesis, 2016

A categorical approach to open and interconnected dynamical systems.

Brendan Fong, Pawel Sobocinski, Paolo Rapisarda

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

2015

Additive monotones for resource theories of parallel-combinable processes with discarding.

Brendan Fong, Hugo Nava-Kopp

Proceedings of the Proceedings 12th International Workshop on Quantum Physics and Logic, 2015

Quantum techniques for studying equilibrium in reaction networks.

John C. Baez, Brendan Fong

J. Complex Networks, 2015