Werner Kluge

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Abstract λ-Calculus Machines Central European Functional Programming School	2009-02-03	Paper
Abstract computing machines. A lambda calculus perspective. Texts in Theoretical Computer Science. An EATCS Series	2005-03-30	Paper
scientific article; zbMATH DE number 1691464 (Why is no real title available?)	2002-01-15	Paper
π-RED<sup>+</sup> An interactive compiling graph reduction system for an applied λ-calculus Journal of Functional Programming	1997-10-13	Paper
scientific article; zbMATH DE number 139841 (Why is no real title available?)	1993-03-28	Paper
\(\pi\)-RED - a graph reducer for a full-fledged \(\lambda\)-calculus New Generation Computing	1992-06-28	Paper
scientific article; zbMATH DE number 4041279 (Why is no real title available?)	1987-01-01	Paper
Petri Net Models for the Evaluation of Applicative Programs Based on λ-Expressions IEEE Transactions on Software Engineering	1983-01-01	Paper
The Orderly Resolution of Memory Access Conflicts Among Competing Channel Processes IEEE Transactions on Computers	1982-01-01	Paper
Traversing Binary Tree Structures with Shift-Register Memories IEEE Transactions on Computers	1977-01-01	Paper

Research outcomes over time

This page was built for person: Werner Kluge