Abdali, An Abstraction Algorithm for Combinatory Logic (1976)

by S Kamal
Venue:Journal of Symbolic Logic Vol 41 No