scientific article; zbMATH DE number 92599

MaRDI QIDQ4018065zbMATH OpenFDO

Authors Lavinia Egidi, Furio Honsell, Simona Ronchi Della Rocca

Publication date 16 January 1993

zbMATH Keywords

functional programmingSECD machineoperational semantics equivalence

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Recommendations

• From operational to denotational semantics
• scientific article; zbMATH DE number 176136
• scientific article; zbMATH DE number 3902017
• scientific article; zbMATH DE number 3976319
• On denotational versus predicative semantics

Cited in

(19)

• Set-theoretical and other elementary models of the \(\lambda\)-calculus
• Logical semantics for stability
• RPO, Second-Order Contexts, and λ-Calculus
• A first order logic of effects
• Compositional characterisations of \(\lambda\)-terms using intersection types
• Parametric parameter passing \(\lambda\)-calculus
• Infinite \(\lambda\)-calculus and types
• From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models
• Intersection types and computational rules
• Light genericity
• A Complete, Co-inductive Syntactic Theory of Sequential Control and State
• Completeness of intersection and union type assignment systems for call-by-value \(\lambda\)-models
• Intersection types and lambda models
• An irregular filter model
• Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca
• Parametric \(\lambda \)-theories
• Simple easy terms
• Semantical analysis of perpetual strategies in -calculus
• Call-by-value Solvability

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 Q4018065)