scientific article; zbMATH DE number 1497776
From MaRDI portal
Publication:4499191
zbMath0958.68039MaRDI QIDQ4499191
David Sands, Jörgen Gustavsson
Publication date: 6 March 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
A bisimulation-like proof method for contextual properties in untyped \(\lambda \)-calculus with references and deallocation ⋮ A New Criterion for Safe Program Transformations
This page was built for publication:
