9 citations · 9 across the 1 of their papers we have counts for
1 paper
Laurent Regnier, Pawel Urzyczyn
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-r…