Marco Perone

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 4

Top Topics

Partially Ordered

Discrete Dynamical Systems

Top Venues

Appl. Categorical Struct.

Publications

Marco Perone, Georgios Karachalias
Crème de la Crem: Composable Representable Executable Machines. FUNARCH (2023)
Marco Perone, Georgios Karachalias
Crème de la Crem: Composable Representable Executable Machines (Architectural Pearl). CoRR (2023)
Fabrizio Genovese, Alex Gryzlov, Jelle Herold, Andre Knispel, Marco Perone, Erik Post, André Videla
idris-ct: A Library to do Category Theory in Idris. ACT (2019)
Fabrizio Genovese, Alex Gryzlov, Jelle Herold, Marco Perone, Erik Post, André Videla
Computational Petri Nets: Adjunctions Considered Harmful. CoRR (2019)
Alberto Facchini, Marco Perone
On Some Noteworthy Pairs of Ideals in Mod-R. Appl. Categorical Struct. 22 (1) (2014)