Set Theory and Category Theory in Combinatory Algebras
By: Daniel Darms
Contributors: Eidgenössische Technische Hochschule Zürich
Published: 1998
Language: eng
Notes: Thesis (doctoral)--Swiss Federal Institute of Technology Zurich, 1998.