Zur Pragmatik eines operationalisierten λ-Kalküls als Basis für interaktive Reduktionssysteme

Ralf Martin Zimmer
Bok · Tysk · 1991

Utgitt	München : Oldenbourg , 1991
Omfang	442 s. : ill.
Opplysninger	Avh. (doktorgrad) - Kiel Universität, 1990
ISBN	3486219561