scientific article
From MaRDI portal
Publication:2754131
zbMath0973.68037MaRDI QIDQ2754131
Cristiano Calcagno, Eugenio Moggi, Walid Taha
Publication date: 11 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (2)
This page was built for publication: