Luigi Santocanale (LIS)

Identifiers

No identifiers captured yet.

Papers (6)

1. On discrete idempotent paths math.LO · 2019 · author #1
2. Free Heyting Algebra Endomorphisms: Ruitenburg's Theorem and Beyond math.LO · 2019 · author #2
3. The continuous weak order math.CO · 2018 · author #2
4. Mix $\star$-autonomous quantales and the continuous weak order math.LO · 2018 · author #2
5. Ruitenburg's Theorem via Duality and Bounded Bisimulations math.LO · 2018 · author #1
6. Fixed-point elimination in the Intuitionistic Propositional Calculus (extended version) math.LO · 2018 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Silvio Ghilardi 3 shared papers
• Maria Jo\~ao Gouveia (ULISBOA) 2 shared papers
• Maria Joao Gouveia (ULISBOA) 1 shared papers