Luigi Santocanale

Identifiants chercheurs

IdHAL :

luigi-santocanale

ORCID :

0000-0002-4237-7856

IdRef :

137437080

Présentation

Publications

Article dans une revue (23)

Bijective proofs for Eulerian numbers of types B and D Luigi Santocanale Discrete Mathematics and Theoretical Computer Science, 2023 Article dans une revue hal-03204493v4
Fixed-point elimination in the Intuitionistic Propositional Calculus (extended version) Silvio Silvio.Ghilardi@unimi.It Ghilardi,Maria Joao Gouveia,Luigi Santocanale ACM Transactions on Computational Logic, In press, 21 (1), pp.1--37. ⟨10.1145/3359669⟩ Article dans une revue hal-01716485v1
Free Heyting Algebra Endomorphisms: Ruitenburg's Theorem and Beyond Silvio Silvio.Ghilardi@unimi.It Ghilardi,Luigi Santocanale Mathematical Structures in Computer Science, In press Article dans une revue hal-01969235v1
Embeddability into relational lattices is undecidable Luigi Santocanale Journal of Logical and Algebraic Methods in Programming, 2018, 97, pp.131-148. ⟨10.1016/j.jlamp.2018.03.001⟩ Article dans une revue hal-01344299v3
The equational theory of the weak order on finite symmetric groups Luigi Santocanale,Friedrich Wehrung Journal of the European Mathematical Society, 2018, 20 (8), pp.1959--2003. ⟨10.4171/JEMS/804⟩ Article dans une revue hal-00986148v2
Dual characterizations for finite lattices via correspondence theory for monotone modal logic Sabine Frittella,Alessandra Palmigiano,Luigi Santocanale Journal of Logic and Computation, 2016, J Logic Computation 2016, ⟨10.1093/logcom/exw011⟩ Article dans une revue hal-01054715v1
The extended permutohedron on a transitive binary relation Luigi Santocanale,Friedrich Wehrung European Journal of Combinatorics, 2014, 42, pp.179--206. ⟨10.1016/j.ejc.2014.06.004⟩ Article dans une revue hal-00750265v3
Lattices of regular closed subsets of closure spaces Luigi Santocanale,Friedrich Wehrung International Journal of Algebra and Computation, 2014, 24 (7), pp.969--1030. ⟨10.1142/S021819671450043X⟩ Article dans une revue hal-00836420v2
Varieties of lattices with geometric descriptions Luigi Santocanale,Friedrich Wehrung Order, 2013, 30 (1), pp.13--38. ⟨10.1007/s11083-011-9225-1⟩ Article dans une revue hal-00564024v2
Sublattices of associahedra and permutohedra Luigi Santocanale,Friedrich Wehrung Advances in Applied Mathematics, 2013, 51 (3), pp.419--445. ⟨10.1016/j.aam.2013.03.003⟩ Article dans une revue hal-00577258v4
Derived Semidistributive Lattices Luigi Santocanale Algebra Universalis, 2010, 63 (2), pp.101--130. ⟨10.1007/s00012-010-0073-4⟩ Article dans une revue hal-00165699v2
A Nice Labelling for Tree-Like Event Structures of Degree 3 (Extended Version) Luigi Santocanale Information and Computation, 2010, 208 (6), pp.652--665. ⟨10.1016/j.ic.2009.05.006⟩ Article dans une revue hal-00369451v1
The Variable Hierarchy for the Games mu-Calculus Walid Belkhir,Luigi Santocanale Annals of Pure and Applied Logic, 2010, 161 (5), pp.690-707. ⟨10.1016/j.apal.2009.07.015⟩ Article dans une revue hal-00178806v2
Completeness for Flat Modal Fixpoint Logics Luigi Santocanale,Yde Venema Annals of Pure and Applied Logic, 2010, 162 (1), pp.55-82. ⟨10.1016/j.apal.2010.07.003⟩ Article dans une revue hal-00346782v1
Topological Properties of Event Structures Luigi Http://pageperso.Lif.Univ-Mrs.Fr/~luigi.Santocanale/ Santocanale Electronic Notes in Theoretical Computer Science, 2009, Proceedings of the Workshops on Geometric and Topological Methods in Concurrency Theory (GETCO 2004+2005+2006), 230 (149–160), ⟨10.1016/j.entcs.2009.02.023⟩ Article dans une revue hal-01261062v1
On the join dependency relation in multinomial lattices (Congruences of Multinomial Lattices) Luigi Santocanale Order, 2007, 24 (3), pp.155--179. ⟨10.1007/s11083-007-9066-0⟩ Article dans une revue hal-00142355v1
Completions of mu-algebras Luigi Santocanale Annals of Pure and Applied Logic, 2007, 154 (1), pp.27-50. ⟨10.1016/j.apal.2007.11.001⟩ Article dans une revue hal-00142353v1
Ambiguous classes in μ-calculi hierarchies André Arnold,Luigi Santocanale Theoretical Computer Science, 2005, Foundations of Software Science and Computation Structures, 333 (1--2), pp.265-296. ⟨10.1016/j.tcs.2004.10.024⟩ Article dans une revue hal-01261055v1
On the equational definition of the least prefixed point Luigi Santocanale Theoretical Computer Science, 2003, 295 (1--3), pp.341-370. ⟨10.1016/S0304-3975(02)00412-7⟩ Article dans une revue istex hal-01261053v1
Induction, coinduction, and adjoints Luigi Santocanale,Robin Cockett Electronic Notes in Theoretical Computer Science, 2003, 69, pp. 1--19. ⟨10.1016/S1571-0661(04)80561-9⟩ Article dans une revue hal-01288863v1
Free $\mu$-lattices Luigi Santocanale Journal of Pure and Applied Algebra, 2002, Category Theory 1999: selected papers, conference held in Coimbra in honour of the 90th birthday of Saunders Mac Lane, 168 (2--3), pp.227-264. ⟨10.1016/S0022-4049(01)00098-6⟩ Article dans une revue hal-01261049v1
μ-Bicomplete Categories and Parity Games Luigi Santocanale RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2002, Fixed Points in Computer Science (FICS'01), 36 (2), pp.195--227. ⟨10.1051/ita:2002010⟩ Article dans une revue istex hal-01261052v1
The alternation hierarchy for the theory of μ-lattices Luigi Santocanale Theory and Applications of Categories, 2002, A special volume of articles from the CT2000 Conference, 9, pp.166--197 Article dans une revue hal-01261116v1

Communication dans un congrès (31)

Complete Congruences of Completely Distributive Lattices Cameron Calk,Luigi Santocanale Relational and Algebraic Methods in Computer Science (LNCS), Aug 2024, Cracovie, Poland. pp.101-118, ⟨10.1007/978-3-031-68279-7_7⟩ Communication dans un congrès hal-05450869v1
Dualizing sup-preserving endomaps of a complete lattice Luigi Santocanale ACT 2020, Jul 2020, Cambridge, United States. pp.335-346, ⟨10.4204/EPTCS.333.23⟩ Communication dans un congrès hal-03956683v1
Skew Metrics Valued in Sugihara Semigroups Luigi Santocanale RAMiCS 2021, Nov 2021, Marseille, France. pp.396-412, ⟨10.1007/978-3-030-88701-8_24⟩ Communication dans un congrès hal-03956706v1
Skew metrics valued in Sugihara semigroups Luigi Santocanale Relational and Algebraic Methods in Computer Science, Feb 2021, Marseille, France. pp.396--412 Communication dans un congrès hal-03518407v1
Dualizing sup-preserving endomaps of a complete lattice Luigi Santocanale Applied Category Theory Conference 2020, Jul 2020, Cambridge, United States Communication dans un congrès hal-02901445v1
The Involutive Quantaloid of Completely Distributive Lattices Luigi Santocanale RAMICS 2020, Uli Fahrenberg; Peter Jipsen; Michael Winter, Apr 2020, Palaiseau, France. pp.286-301 Communication dans un congrès hal-02342655v3
ON DISCRETE IDEMPOTENT PATHS Luigi Santocanale Words 2019, Sep 2019, Loughborough, United Kingdom. pp.312--325, ⟨10.1007/978-3-030-28796-2_25⟩ Communication dans un congrès hal-02153821v1
The equational theory of the natural join and inner union is decidable Luigi Santocanale FOSSACS 2018, Apr 2018, Thessaloniki, Greece. pp.494--510, ⟨10.1007/978-3-319-89366-2_27⟩ Communication dans un congrès hal-01625134v1
MIX STAR-AUTONOMOUS QUANTALES AND THE CONTINUOUS WEAK ORDER Maria João Gouveia,Luigi Santocanale RAMICS 2018, Oct 2018, Groningen, Netherlands. ⟨10.1007/978-3-030-02149-8_12⟩ Communication dans un congrès hal-01838560v1
Ruitenburg's Theorem via Duality and Bounded Bisimulations Luigi Santocanale,Silvio Silvio.Ghilardi@unimi.It Ghilardi Advances in Modal Logic, Aug 2018, Bern, Switzerland Communication dans un congrès hal-01766636v1
Embeddability into relational lattices is undecidable ⋆ Luigi Santocanale RAMICS 2017, May 2017, Lyon, France Communication dans un congrès hal-01474822v1
$\aleph_1$ and the Modal $\mu$-Calculus Maria Joao Gouveia,Luigi Santocanale 26th EACSL Annual Conference on Computer Science Logic (CSL 2017), Aug 2017, Stockholm, Sweden Communication dans un congrès hal-01503091v1
Relational Lattices via Duality Luigi Santocanale 13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. pp.195-215, ⟨10.1007/978-3-319-40370-0_12⟩ Communication dans un congrès hal-01446027v1
Relational lattices via duality Luigi Santocanale Coalgebraic Methods in Computer Science 2016, Apr 2016, Eindhoven, Netherlands Communication dans un congrès hal-01279408v1
Fixed-point elimination in the Intuitionistic Propositional Calculus Silvio Silvio.Ghilardi@unimi.It Ghilardi,Maria Joao Gouveia,Luigi Http://pageperso.Lif.Univ-Mrs.Fr/~luigi.Santocanale/ Santocanale FOSSACS 2016, Apr 2016, Eindhoven, Netherlands Communication dans un congrès hal-01249822v1
Fixed-point theory in the varieties D_n Sabine Frittella,Luigi Santocanale RAMICS, Apr 2014, Marienstatt im Westerwald, Germany. pp.446--462, ⟨10.1007/978-3-319-06251-8_27⟩ Communication dans un congrès hal-01260836v1
Cuts for circular proofs: semantics and cut-elimination Luigi Http://pageperso.Lif.Univ-Mrs.Fr/~luigi.Santocanale/ Santocanale,Jérôme Fortier Computer Science Logic 2013, Sep 2013, Torino, Italy. pp.248--262, ⟨10.4230/LIPIcs.CSL.2013.248⟩ Communication dans un congrès hal-01260986v1
Uniform interpolation for monotone modal logic Luigi Santocanale,Yde Venema Advances in Modal Logic, 2010, Moscow, Russia. pp.350--370 Communication dans un congrès hal-01281238v1
Topological properties of event structures Luigi Santocanale GETCO 2006, Geometrical and Topological Methods in Concurrency, Aug 2006, Bonn, Germany. pp.149-160, ⟨10.1016/j.entcs.2009.02.023⟩ Communication dans un congrès hal-00432038v1
On the word problem for SP-categories, and the properties of two-way communication Luigi Santocanale,Robin Cockett CSL 2009, Sep 2009, Coimbra, Portugal. pp.194-208, ⟨10.1007/978-3-642-04027-6_16⟩ Communication dans un congrès hal-00374654v1
Undirected Graphs of Entanglement Two Walid Belkhir,Luigi Santocanale FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, Dec 2007, India. ⟨10.1007/978-3-540-77050-3_42⟩ Communication dans un congrès hal-00144355v2
Y. Venema, L. Santocanale, Completeness for flat modal fixpoint logics, Luigi Santocanale,Yde Venema 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, Oct 2007, Yerevan, Armenia. pp.499--513, ⟨10.1007/978-3-540-75560-9_36⟩ Communication dans un congrès hal-01290705v1
A Nice Labelling for Tree-Like Event Structures of Degree 3 Luigi Santocanale CONCUR 2007, Sep 2007, Lisbon, Portugal. pp.151-165, ⟨10.1007/978-3-540-74407-8_11⟩ Communication dans un congrès hal-00142349v1
Completions of μ-algebras Luigi Santocanale 20th IEEE Symposium on Logic in Computer Science, Jun 2005, Chicago, United States. pp.219--228, ⟨10.1109/LICS.2005.11⟩ Communication dans un congrès hal-01288855v1
Logical Construction of Final Coalgebras Luigi Santocanale Electronic Notes in Theoretical Computer Science, 2003, Warsaw, Poland. vol 82, p. 1-20 Communication dans un congrès hal-00111230v1
Ambiguous classes in the games μ-calculus hierarchy Luigi Santocanale,André Arnold 6th International Conference on Foundations of Software Science and Computation Structures, Apr 2003, Warsaw, Poland. pp.70--86, ⟨10.1007/3-540-36576-1_5⟩ Communication dans un congrès hal-01288878v1
Algebraic and model theoretic techniques for fusion decidability in modal logics Luigi Santocanale,Silvio Silvio.Ghilardi@unimi.It Ghilardi 10th International Conference Logic for Programming, Artificial Intelligence, and Reasoning, Sep 2003, Almaty, Kazakhstan. pp.152--166, ⟨10.1007/b13986⟩ Communication dans un congrès hal-01281233v1
From parity games to circular proofs Luigi Santocanale CMCS'2002, Coalgebraic Methods in Computer Science., Apr 2002, Grenoble, France. pp.1--12, ⟨10.1016/S1571-0661(04)80370-0⟩ Communication dans un congrès hal-01261240v1
A calculus of circular proofs and its categorical semantics Luigi Santocanale FOSSACS 2002, Apr 2002, Grenoble, France. pp.357--371, ⟨10.1007/3-540-45931-6_25⟩ Communication dans un congrès istex hal-01261170v1
Congruences of modal $\mu$-algebras Luigi Santocanale Fixed Points in Computer Science, Zoltan Esik, Anna Ingolfsdottir, Jul 2002, Copenhagen, Denmark. pp.77-81 Communication dans un congrès hal-03928961v1
On the equational definition of the least prefixed point Luigi Santocanale Mathematical Foundations of Computer Science 2001, Aug 2001, Marianske Lazne, Czech Republic. ⟨10.1007/3-540-44683-4_56⟩ Communication dans un congrès istex hal-01261158v1

Chapitre d'ouvrage (2)

Generalizations of the permutohedron Luigi Santocanale,Friedrich Wehrung G. Gratzer; F. Wehrung. Lattice Theory: Special Topics and Applications, Birkhäuser, pp.287--397, 2016 Chapitre d'ouvrage hal-01774635v1
Permutohedra and Associahedra Nathalie Caspard,Luigi Santocanale,Friedrich Wehrung Lattice Theory: Special Topics and Applications (Volume 2), Birkhäuser / Springer, pp.215--286, 2016, ⟨10.1007/978-3-319-44236-5⟩ Chapitre d'ouvrage hal-01700866v1

Pré-publication, Document de travail (6)

Lifting star-autonomous structures Luigi Santocanale,Cédric de Lacroix,Gregory Chichery 2023 Pré-publication, Document de travail (preprint/prepublication) hal-04209648v1
Frobenius structures in star-autonomous categories Luigi Santocanale,Cédric de Lacroix 2022 Pré-publication, Document de travail hal-03739197v1
Unitless Frobenius quantales Cédric de Lacroix,Luigi Santocanale 2022 Pré-publication, Document de travail hal-03661651v2
The continuous weak order Maria João Gouveia,Luigi Santocanale 2019 Pré-publication, Document de travail hal-01944759v3
Relational Semantics for Distributive Linear Logic Gian Carlo Meloni,Luigi Santocanale 2018 Pré-publication, Document de travail hal-01851509v1
A duality for finite lattices Luigi Santocanale 2009 Pré-publication, Document de travail hal-00432113v1

Rapport (1)

µ-Bicomplete Categories and Parity Games Luigi Santocanale [Research Report] RR-1281-02, LaBRI - Laboratoire Bordelais de Recherche en Informatique. 2002 Rapport (rapport de recherche) hal-01376731v1

HDR (1)

Structures algébriques en logique et concurrence Luigi Santocanale Calcul parallèle, distribué et partagé [cs.DC]. Université de Provence - Aix-Marseille I, 2008 HDR tel-00369583v1