Varieties of Constructive MathematicsDouglas Bridges, Fred RichmanVarieties of Constructive Mathematics1988

Combinators, λ–Terms, and Proof Theory. D. Reidel, DordrechteS StenlundCombinators, λ–Terms, and Proof Theory. D. Reidel…19721 Excerpt