scientific article
From MaRDI portal
Publication:3043110
zbMath0527.03002MaRDI QIDQ3043110
Mariangiola Dezani-Ciancaglini, Francoise Ermine
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (2)
Type theories, normal forms, and \(D_{\infty}\)-lambda-models ⋮ Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca
This page was built for publication:
