Categorical combinatory logic
Lecture Notes in Computer Science (2024) - Comments
doi: 10.1007/bfb0015738 

P -L. Curien