Retractions of Types with Many Atoms

Laurent Regnier Pawel Urzyczyn Retractions of Types with Many Atoms http://arxiv.org/abs/cs.LO/0212005 2002 CoRR cs.LO/0212005 db/journals/corr/corr0212.html#cs-LO-0212005 informal publication