scientific article

zbMath1272.68087MaRDI QIDQ2851088

Luca Paolini, Elaine Pimentel, Simonetta Ronchi della Rocca

Publication date: 2 October 2013

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

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40)

Related Items (3)

Open Call-by-Value ⋮ Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca ⋮ Strong normalization from an unusual point of view

This page was built for publication: