Ein hoare kalkül für die sprache der Getypen Lambda-Terme korrektheit, Vollständigkeit, anwendungen
By: Andreas Goerdt
Contributors: Rheinisch-Westfälische Technische Hochschule Aachen
Published: 1986
Language: ger
Number of pages: 268
Notes: Thesis (doctoral)--Rheinisch-Westfälische Technische Hochschule Aachen, 1986.