Dietmar Gärtner

π-Red+ - ein codeausführendes Reduktionssystem zur Transformation von Programmen eines angewandten λ-Kalküls

Dietmar Gärtner, 1992, ARCS.

Procedure for verifying user access.

Dietmar Gärtner, Thomas Vogler, Neil Beesley, 1999 .

π-Red+: ein interaktives codeausführendes Reduktionssystem zur vollständigen Realisierung eines angewandten λ-Kalküls

Dietmar Gärtner, 1992 .

π-RED+ An interactive compiling graph reduction system for an applied λ-calculus

Dietmar Gärtner, Werner E. Kluge, W. Kluge, 1996, Journal of Functional Programming.

pi-Red+- ein codeausführendes Reduktionssystem zur Transformation von Programmen eines angewandten lambda-Kalküls

Dietmar Gärtner, 1992 .