scientific article; zbMATH DE number 92599

zbMATH Open0762.68042MaRDI QIDQ4018065FDOQ4018065

Authors: Lavinia Egidi, Furio Honsell, Simona Ronchi Della Rocca 

Publication date: 16 January 1993

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

functional programmingSECD machineoperational semantics equivalence

Mathematics Subject Classification ID

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

Cited In (19)

• Set-theoretical and other elementary models of the \(\lambda\)-calculus
• RPO, Second-Order Contexts, and λ-Calculus
• Logical semantics for stability
• 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 \(\lambda\)-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)