\(\pi\)-RED - a graph reducer for a full-fledged \(\lambda\)-calculus
From MaRDI portal
Publication:1186104
DOI10.1007/BF03037478zbMath0741.68025MaRDI QIDQ1186104
C. Schmittgen, H. Blödorn, Werner Kluge
Publication date: 28 June 1992
Published in: New Generation Computing (Search for Journal in Brave)
Related Items
Uses Software
Cites Work