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

From MaRDI portal
Publication:3125230