Bounded Combinatory Logic.

Boris Ddder, Moritz Martens, Jakob Rehof, Pawel Urzyczyn

Browse the full CSL paper archive.