Retractions of Types with Many Atoms
<|reference_start|>Retractions of Types with Many Atoms: We define a sound and complete proof system for affine beta-eta-retractions in simple types built over many atoms, and we state simple necessary conditions for arbitrary beta-eta-retractions in simple and polymorphic types.<|reference_end|>
@article{regnier2002retractions,
    title={Retractions of Types with Many Atoms},
    author={Laurent Regnier, Pawel Urzyczyn},
    journal={arXiv preprint arXiv:cs/0212005},
    year={2002},
    archivePrefix={arXiv},
    eprint={cs/0212005},
    primaryClass={cs.LO}
}