Zur Pragmatik eines operationalisierten lambda- Kalküls als Basis für interaktive Reduktionssysteme / R. M. Zimmer

lambda calculus as basis for interactive reduction systems

Saved in:
Zimmer, R. M.
München : Oldenbourg, 1991
442 S.
Zugl.: Diss., Univ. Kiel, 1990
deutsch
9783486219562
3486219561
GMD-Bericht ; 192
multiprocessor systems
reduction systems
combinatorial logics

ZB
Open Stacks Call Number: S 001113-0192'01' Barcode: 1091103942 Available