8 citations · 11 across the 9 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
math.CT2022★ 1 cited
A Formal Logic for Formal Category Theory (Extended Version)
Max S. New, Daniel R. Licata
We present a domain-specific type theory for constructions and proofs in category theory. The type theory axiomatizes notions of category, functor, profunctor and a generalized for…
cs.PL2022
Proceedings Ninth Workshop on Mathematically Structured Functional Programming
Jeremy Gibbons, Max S. New
This volume contains the proceedings of the Ninth Workshop on Mathematically Structured Functional Programming (MSFP 2022). The meeting took place on the 2nd of April as a satellit…