TY - RPRT TI - Free Heyting Algebra Endomorphisms: Ruitenburg's Theorem and Beyond AU - Silvio Ghilardi AU - Luigi Santocanale PY - 2019 UR - https://arxiv.org/abs/1901.01252 ID - 1901.01252 ER -