Das OBSCURE-Projekt. - Jacques Loeckx; Joachim Philippi (Innovative Informations-Infrastrukturen, 1988)

Modulkonzepte und Berechnungen im polymorphen λ-Kalkül höherer Ordnung. - Joachim Philippi (1991)