20 citations · 116 across the 25 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2019★ 1 cited
idris-ct: A Library to do Category Theory in Idris
Fabrizio Genovese, Alex Gryzlov, Jelle Herold +4
We introduce idris-ct, a Idris library providing verified type definitions of categorical concepts.idris-ct strives to be a bridge between academy and industry, catering both to ca…
cs.LO2017★ 9 cited
Custom Hypergraph Categories via Generalized Relations
Dan Marsden, Fabrizio Genovese
Process theories combine a graphical language for compositional reasoning with an underlying categorical semantics. They have been successfully applied to fields such as quantum co…
cs.LO2017★ 5 cited
Interacting Conceptual Spaces I : Grammatical Composition of Concepts
Joe Bolt, Bob Coecke, Fabrizio Genovese +3
The categorical compositional approach to meaning has been successfully applied in natural language processing, outperforming other models in mainstream empirical language processi…