scientific article
From MaRDI portal
Publication:2871858
zbMath1278.68120MaRDI QIDQ2871858
Publication date: 10 January 2014
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066107002307?np=y
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Nominal syntax with atom substitutions ⋮ Capture-avoiding substitution as a nominal algebra ⋮ The lambda-context calculus (extended version)
This page was built for publication: