Types and consistency in combinatory algebras
By: Daniel Otth
Contributors: Eidgenössische Technische Hochschule Zürich
Published: 1992
Language: eng
Notes: Thesis (doctoral)--Swiss Federal Institute of Technology Zurich, 1992.