scientific article; zbMATH DE number 1183237

MaRDI QIDQ3837985zbMATH OpenFDO

Authors Torben Braüner

Publication date 10 December 1998

zbMATH Keywords

categorical modelPCF

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2185709
• Publication:4490356
• Full abstraction for PCF
• scientific article; zbMATH DE number 3976319

Cited in

(6)

• Computational adequacy for recursive types in models of intuitionistic set theory
• scientific article; zbMATH DE number 2185709 (Why is no real title available?)
• scientific article; zbMATH DE number 1342221 (Why is no real title available?)
• scientific article; zbMATH DE number 1476491 (Why is no real title available?)
• The Scott model of PCF in univalent type theory
• On classical PCF, linear logic and the MIX rule

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