scientific article
From MaRDI portal
Publication:4018065
zbMath0762.68042MaRDI QIDQ4018065
Furio Honsell, Lavinia Egidi, Simonetta Ronchi della Rocca
Publication date: 16 January 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (18)
Intersection types and lambda models ⋮ Parametric parameter passing \(\lambda\)-calculus ⋮ A Complete, Co-inductive Syntactic Theory of Sequential Control and State ⋮ A first order logic of effects ⋮ Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca ⋮ Parametric \(\lambda \)-theories ⋮ An irregular filter model ⋮ Intersection Types and Computational Rules ⋮ Completeness of intersection and union type assignment systems for call-by-value \(\lambda\)-models ⋮ Call-by-value Solvability ⋮ RPO, Second-Order Contexts, and λ-Calculus ⋮ Logical Semantics for Stability ⋮ Infinite \(\lambda\)-calculus and types ⋮ Semantical analysis of perpetual strategies in \(\lambda\)-calculus ⋮ Simple Easy Terms ⋮ Compositional characterisations of \(\lambda\)-terms using intersection types ⋮ From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models ⋮ Set-theoretical and other elementary models of the \(\lambda\)-calculus
This page was built for publication:
