Universal algebra in combinatory logic
By: Beatrice Amrhein
Published: 1992
Language: eng
Notes: Thesis (doctoral)--Swiss Federal Institute of Technology, 1992.