π-RED+ An interactive compiling graph reduction system for an applied λ-calculus
From MaRDI portal
Publication:3125230
DOI10.1017/S0956796800001957zbMath0872.68083OpenAlexW2161139886MaRDI QIDQ3125230
Could not fetch data.
Publication date: 13 October 1997
Published in: (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0956796800001957
Could not fetch data.
Could not fetch data.