关注
Fabrizio Romano Genovese
Fabrizio Romano Genovese
其他姓名Fabrizio Genovese
20squares
在 20squares.xyz 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Interacting conceptual spaces I: Grammatical composition of concepts
J Bolt, B Coecke, F Genovese, M Lewis, D Marsden, R Piedeleu
Conceptual spaces: Elaborations and applications, 151-181, 2019
542019
Categories of nets
JC Baez, F Genovese, J Master, M Shulman
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2021
312021
Generalized relations in linguistics & cognition
B Coecke, F Genovese, M Lewis, D Marsden, A Toumi
Theoretical computer science 752, 104-115, 2018
302018
Infinite-dimensional categorical quantum mechanics
S Gogioso, F Genovese
arXiv preprint arXiv:1605.04305, 2016
282016
Interacting conceptual spaces
J Bolt, B Coecke, F Genovese, M Lewis, D Marsden, R Piedeleu
arXiv preprint arXiv:1608.01402, 2016
232016
Custom hypergraph categories via generalized relations
D Marsden, F Genovese
arXiv preprint arXiv:1703.01204, 2017
192017
Executions in (semi-) integer petri nets are compact closed categories
F Genovese, J Herold
arXiv preprint arXiv:1805.05988, 2018
152018
Towards quantum field theory in categorical quantum mechanics
S Gogioso, F Genovese
arXiv preprint arXiv:1703.09594, 2017
122017
Quantum field theory in categorical quantum mechanics
S Gogioso, F Genovese
arXiv preprint arXiv:1805.12087, 2018
102018
Computational petri nets: Adjunctions considered harmful
F Genovese, A Gryzlov, J Herold, M Perone, E Post, A Videla
arXiv preprint arXiv:1904.12974, 2019
92019
The mathematical specification of the statebox language
S Team, F Genovese, J Herold
arXiv preprint arXiv:1906.07629, 2019
82019
Yoneda hacking: The algebra of attacker actions
G Bakirtzis, F Genovese, CH Fleming
ACM Transactions on Cyber-Physical Systems (TCPS) 6 (3), 1-27, 2022
72022
A categorical semantics for guarded petri nets
F Genovese, DI Spivak
International Conference on Graph Transformation, 57-74, 2020
72020
A categorical semantics for hierarchical Petri nets
FR Genovese, J Herold, F Loregian, D Palombi
arXiv preprint arXiv:2102.00096, 2021
62021
idris-ct: A Library to do Category Theory in Idris
F Genovese, A Gryzlov, J Herold, A Knispel, M Perone, E Post, A Videla
arXiv preprint arXiv:1912.06191, 2019
62019
Uniqueness of composition in quantum theory and linguistics
B Coecke, F Genovese, S Gogioso, D Marsden, R Piedeleu
arXiv preprint arXiv:1803.00708, 2018
62018
Obstructions to Compositionality
C Puca, A Hadzihasanovic, F Genovese, B Coecke
arXiv preprint arXiv:2307.14461, 2023
42023
Nets with Mana: A Framework for Chemical Reaction Modelling
F Genovese, F Loregian, D Palombi
International Conference on Graph Transformation, 185-202, 2021
42021
Fibrational linguistics: First concepts
F Genovese, F Loregian, C Puca
arXiv preprint arXiv:2201.01136, 2022
32022
Escrows are optics
F Genovese, F Loregian, D Palombi
arXiv preprint arXiv:2105.10028, 2021
32021
系统目前无法执行此操作,请稍后再试。
文章 1–20