scientific article; zbMATH DE number 1361533
From MaRDI portal
Publication:4699351
zbMath0946.03016MaRDI QIDQ4699351
Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Ugo de'Liguoro
Publication date: 1 February 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
lambda calculusBöhm treesintersection typestype assignment systemsfilter lambda modelssubtyping relation
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Combinatory logic and lambda calculus (03B40)
Related Items (6)
Intersection-types à la Church ⋮ Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca ⋮ On the membership problem for non-linear abstract categorial grammars ⋮ Unnamed Item ⋮ Completeness of intersection and union type assignment systems for call-by-value \(\lambda\)-models ⋮ Recognizability in the Simply Typed Lambda-Calculus
This page was built for publication:
