Skip to content

Barendregt's Problem #26 and Combinatory Strong Reduction.

William R. Stirton

VenueCCiE
Year2022
ProceedingsCiE

Browse the full CiE paper archive.