Funktionale Programmierung mit primitiver Rekursion : formale Modelle zur Reduktionssemantik -

Aachen (1990) [Habilitationsschrift]

Seite(n): 234 Bl. : graph. Darst.

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Vogler, Heiko

Identifikationsnummern

  • REPORT NUMBER: RWTH-CONV-112260