Luigi Santocanale (LIS)
Identifiers
No identifiers captured yet.
Papers (6)
- On discrete idempotent paths math.LO · 2019 · author #1
- Free Heyting Algebra Endomorphisms: Ruitenburg's Theorem and Beyond math.LO · 2019 · author #2
- The continuous weak order math.CO · 2018 · author #2
- Mix $\star$-autonomous quantales and the continuous weak order math.LO · 2018 · author #2
- Ruitenburg's Theorem via Duality and Bounded Bisimulations math.LO · 2018 · author #1
- 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