scientific article; zbMATH DE number 1738290
From MaRDI portal
Publication:4529772
zbMath0984.68024MaRDI QIDQ4529772
Harald Søndergaard, Martin Sulzmann, Peter J. Stuckey, Kevin Glynn
Publication date: 6 May 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2053/20530039
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
