scientific article
From MaRDI portal
Publication:2851704
zbMath1272.68102MaRDI QIDQ2851704
Publication date: 2 October 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106000867
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
A Framework for Type Safe Exchange of Mobile Code ⋮ Computational Soundness of a Call by Name Calculus of Recursively-scoped Records
This page was built for publication:
