scientific article
From MaRDI portal
Publication:2851091
zbMath1272.03078MaRDI QIDQ2851091
Pierre Lescanne, Silvia Ghilezan, Daniel J. Dougherty
Publication date: 2 October 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105050644
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage ⋮ A Filter Model for the λμ-Calculus