The following pages link to Werner Kluge (Q1769929):
Displayed 11 items.
- (Q1186103) (redirect page) (← links)
- \(\pi\)-RED - a graph reducer for a full-fledged \(\lambda\)-calculus (Q1186104) (← links)
- Abstract computing machines. A lambda calculus perspective. (Q1769930) (← links)
- (Q2763392) (← links)
- π-RED<sup>+</sup> An interactive compiling graph reduction system for an applied λ-calculus (Q3125230) (← links)
- Abstract λ-Calculus Machines (Q3599179) (← links)
- Petri Net Models for the Evaluation of Applicative Programs Based on λ-Expressions (Q3660880) (← links)
- (Q3779753) (← links)
- The Orderly Resolution of Memory Access Conflicts Among Competing Channel Processes (Q3938475) (← links)
- (Q4028177) (← links)
- Traversing Binary Tree Structures with Shift-Register Memories (Q4140404) (← links)