Surjectivity for Finite Sets of Combinators by Weak Reduction.

Corrado Bhm, Adolfo Piperno

Browse the full CSL paper archive.