scientific article; zbMATH DE number 1476491

MaRDI QIDQ4490356zbMATH OpenFDO

Authors Torben Braüner

Publication date 14 July 2000

zbMATH Keywords

operational semanticsPCF-like languages

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1183237
• Three inadequate models
• scientific article; zbMATH DE number 2185709
• A general adequacy result for a linear functional language
• scientific article; zbMATH DE number 3976319

Cited in

(5)

• Computational adequacy of the FIX-logic
• A general adequacy result for a linear functional language
• scientific article; zbMATH DE number 1183237 (Why is no real title available?)
• scientific article; zbMATH DE number 1342221 (Why is no real title available?)
• scientific article; zbMATH DE number 756051 (Why is no real title available?)

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