scientific article
From MaRDI portal
Publication:3816053
zbMath0665.03010MaRDI QIDQ3816053
Furio Honsell, Simonetta Ronchi della Rocca
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca ⋮ Complete restrictions of the intersection type discipline ⋮ On the construction of stable models of untyped \(\lambda\)-calculus ⋮ Simple Easy Terms ⋮ From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models
This page was built for publication:
