scientific article; zbMATH DE number 3831284

MaRDI QIDQ3036694zbMATH OpenFDO

Authors Mario Coppo, Mariangiola Dezani-Ciancaglini, Giuseppe Longo

Publication date 1983

zbMATH Keywords

denotational semantics of programming languagesinformation systems

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Cited in

(8)

• Type theories, normal forms, and \(D_{\infty}\)-lambda-models
• Set-theoretical and other elementary models of the \(\lambda\)-calculus
• Behavioural inverse limit -models
• From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models
• May and must convergency in concurrent λ-calculus
• Recursive Domain Equations of Filter Models
• Using information systems to solve recursive domain equations
• Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca

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