Daniel Darms

• Set Theory and Category Theory in Combinatory Algebras