Publication:4472544
From MaRDI portal
zbMath1044.68542MaRDI QIDQ4472544
Mario Coppo, Ferruccio Damiani, Paola Giannini, Stefano Berardi
Publication date: 4 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/1924/19240172.htm
68N18: Functional programming and lambda calculus
Related Items