TY  - RPRT
TI  - Fixed-point elimination in the Intuitionistic Propositional Calculus (extended version)
AU  - Silvio Ghilardi
AU  - Maria Joao Gouveia
AU  - Luigi Santocanale
PY  - 2018
UR  - https://arxiv.org/abs/1803.01552
ID  - 1803.01552
ER  -