Free Heyting algebra endomorphisms: Ruitenburgâs Theorem and beyond
Ghilardi, Silvio, Santocanale, LuigiJournal:
Mathematical Structures in Computer Science
DOI:
10.1017/S0960129519000203
Date:
January, 2020
File:
PDF, 455 KB
2020