TY  - RPRT
TI  - Fixed-point elimination in the intuitionistic propositional calculus
AU  - Silvio Ghilardi
AU  - Maria Joao Gouveia
AU  - Luigi Santocanale
PY  - 2016
UR  - https://arxiv.org/abs/1601.00402
ID  - 1601.00402
ER  -