Jonathan Seldin

• Foundations of Combinatory Logic