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

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

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Could not fetch data.