Author of the publication

Abstract Computing Machines - A Lambda Calculus Perspective

. Texts in Theoretical Computer Science. An EATCS Series Springer, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Nachruf auf Klaus Berkling 1931-1997.. Informatik Spektrum, 21 (4): 217-218 (1998)Data File Management in Shift Register Memories.. VLDB, page 211-212. IEEE Computer Society, (1977)A Reversible SE(M)CD Machine.. IFL, volume 1868 of Lecture Notes in Computer Science, page 95-113. Springer, (1999)Using pi-RED as a Teaching Tool for Functional Programming and Program Execution., , and . FPLE, volume 1022 of Lecture Notes in Computer Science, page 231-249. Springer, (1995)The Orderly Resolution of Memory Access Conflicts Among Competing Channel Processes., and . IEEE Trans. Computers, 31 (3): 194-207 (1982)Some Less Enthusiastic Remarks on the Impact of New Technologies.. VLDB Surveys, page 211-213. (1978)Data File Management in Shift Register Memories.. ACM Trans. Database Syst., 3 (2): 159-177 (1978)pi-Red+ An Interactive Compiling Graph Reduction System for an Applied lambda-Calculus., and . J. Funct. Program., 6 (5): 723-756 (1996)Conceptual Design of a Hardwired Main Storage Management Unit., and . Comput. J., 18 (4): 360-365 (1975)pi-RED*-A Graph Reducer for a Full-Fledged lambda-Calculus., , and . New Generation Comput., 10 (2): 173-196 (1992)