Maarten Wicher Visser Bunder

• Set theory based on combinatory logic