Publication:4281469
From MaRDI portal
zbMath0788.68090MaRDI QIDQ4281469
Furio Honsell, Pietro Di Gianantonio
Publication date: 10 March 1994
domains for denotational semantics; intersection type; applicative exponential structure; function application; typed lambda calculi with recursively types
03C99: Model theory
68Q55: Semantics in the theory of computing
03B40: Combinatory logic and lambda calculus
Related Items
Infinite \(\lambda\)-calculus and types, Set-theoretical and other elementary models of the \(\lambda\)-calculus, From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models, Prelogical relations, Simple Easy Terms