scientific article

zbMath1271.68078MaRDI QIDQ2847789

Luca Paolini, Simonetta Ronchi della Rocca

Publication date: 11 September 2013

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

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 (2)

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca ⋮ Parametric \(\lambda \)-theories

This page was built for publication: