Modified Basic Functionality (1969)

by H B Curry
Venue:in Combinatory Logic, Dialectica