Options
1991
Doctoral Thesis
Titel
Zur Pragmatik eines operationalisierten lambda-Kalküls als Basis für interaktive Reduktionssysteme
ThesisNote
Zugl.: Kiel, Univ., Diss., 1990