Werner Kluge

Available identifiers

zbMath Open kluge.werner-eMaRDI QIDQ1769929

List of research outcomes

Publication	Date of Publication	Type
Abstract λ-Calculus Machines	2009-02-03	Paper
Abstract computing machines. A lambda calculus perspective.	2005-03-30	Paper
https://portal.mardi4nfdi.de/entity/Q2763392	2002-01-15	Paper
π-RED+ An interactive compiling graph reduction system for an applied λ-calculus	1997-10-13	Paper
https://portal.mardi4nfdi.de/entity/Q4028177	1993-03-28	Paper
\(\pi\)-RED - a graph reducer for a full-fledged \(\lambda\)-calculus	1992-06-28	Paper
https://portal.mardi4nfdi.de/entity/Q3779753	1987-01-01	Paper
Petri Net Models for the Evaluation of Applicative Programs Based on λ-Expressions	1983-01-01	Paper
The Orderly Resolution of Memory Access Conflicts Among Competing Channel Processes	1982-01-01	Paper
Traversing Binary Tree Structures with Shift-Register Memories	1977-01-01	Paper

Research outcomes over time

This page was built for person: Werner Kluge