TY - RPRT TI - Functionality in Combinatory Logic. AU - H B Curry PY - 1934 DO - 10.1073/pnas.20.11.584 UR - https://pubmed.ncbi.nlm.nih.gov/16577644/ ID - 16577644 ER -