scientific article; zbMATH DE number 512776

MaRDI QIDQ4281469zbMATH OpenFDO

Authors Pietro Di Gianantonio, Furio Honsell

Publication date 10 March 1994

zbMATH Keywords

applicative exponential structuredomains for denotational semanticsfunction applicationintersection typetyped lambda calculi with recursively types

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Model theory (03C99) Semantics in the theory of computing (68Q55)

Recommendations

• The applicative realm
• A theory of abstraction
• scientific article
• scientific article; zbMATH DE number 1418436
• Concept of the abstract program
• An abstract concept of optimal implementation
• scientific article; zbMATH DE number 741004
• scientific article; zbMATH DE number 1066726

Cited in

(5)

• 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

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4281469)