Gianluca Caterina

17 papers Journal 14Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Combinators as presheaves.
Log. J. IGPL
Rocco Gangle, Fernando Tohmé, Gianluca Caterina
2025 J jnl
Multicombinators as observable presheaves.
Soft Comput.
Rocco Gangle, Fernando Tohmé, Gianluca Caterina
2024 J jnl
A category theory approach to the semiotics of machine learning.
Ann. Math. Artif. Intell.
Fernando Tohmé, Rocco Gangle, Gianluca Caterina
2023 — conf
Combinators as Observable Presheaves: A Characterization in the Grossone Framework.
NUMTA (3)
Rocco Gangle, Fernando Tohmé, Gianluca Caterina
2022 J jnl
Physical computation and compositionality.
CoRR
Nima Dehghani, Gianluca Caterina
2020 J jnl
A constructive sequence algebra for the calculus of indications.
Soft Comput.
Rocco Gangle, Gianluca Caterina, Fernando Tohmé
2020 J jnl
Computing Truth Values in the Topos of Infinite Peirce's
Appl. Math. Comput.
Fernando Tohmé, Gianluca Caterina, Rocco Gangle
2020 J jnl
Iterated Admissibility Through Forcing in Strategic Belief Models.
J. Log. Lang. Inf.
Fernando Tohmé, Gianluca Caterina, Jonathan Gangle
2019 — conf
A New Syntax for Diagrammatic Logic: A Generic Figures Approach.
NUMTA (2)
Gianluca Caterina, Rocco Gangle
2018 J jnl
The class of states of the world as an -groupoid: identifying states of the world and hierarchies of belief.
Int. J. Gen. Syst.
Fernando Tohmé, Gianluca Caterina, Rocco Gangle
2017 J jnl
Local and global optima in decision-making: a sheaf-theoretical analysis of the difference between classical and behavioral approaches.
Int. J. Gen. Syst.
Fernando Tohmé, Gianluca Caterina, Rocco Gangle
2016 — book
Iconicity and Abduction
Gianluca Caterina, Rocco Gangle
2016 J jnl
Notes on a model for fuzzy computing.
CoRR
Vittorio Cafagna, Gianluca Caterina
2015 J jnl
Abduction: A categorical characterization.
J. Appl. Log.
Fernando Tohmé, Gianluca Caterina, Rocco Gangle
2015 J jnl
The sheet of indication: a diagrammatic semantics for Peirce's EG-alpha.
Synth.
Rocco Gangle, Gianluca Caterina
2013 J jnl
Iconicity and abduction: a categorical approach to creative hypothesis-formation in Peirce's existential graphs.
Log. J. IGPL
Gianluca Caterina, Rocco Gangle
2010 J jnl
An order-preserving property of additive invariants for Takesue-type reversible cellular automata.
Theor. Comput. Sci.
Gianluca Caterina, Bruce M. Boghosian