scientific article; zbMATH DE number 512776
From MaRDI portal
Publication:4281469
zbMath0788.68090MaRDI QIDQ4281469
Furio Honsell, Pietro Di Gianantonio
Publication date: 10 March 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
domains for denotational semanticsintersection typeapplicative exponential structurefunction applicationtyped lambda calculi with recursively types
Model theory (03C99) Semantics in the theory of computing (68Q55) Combinatory logic and lambda calculus (03B40)
Related Items (5)
Infinite \(\lambda\)-calculus and types ⋮ Simple Easy Terms ⋮ From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models ⋮ Prelogical relations ⋮ Set-theoretical and other elementary models of the \(\lambda\)-calculus
This page was built for publication:
