On a typed higher order functional calculus
By: Walter Dosch
Contributors: Technische Universität München
Published: 1987
Place of publication: München
Language: eng
Number of pages: 258
Notes: München, Tech. Univ., Fak. für Mathematik und Informatik, Diss. 1987.

Thesis (doctoral)--Technische Universität München, 1987.