scientific article

zbMath1271.68084MaRDI QIDQ2847780

Alberto Ciaffaglione, Ivan Scagnetto

Publication date: 11 September 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S157106610405145X

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts