scientific article; zbMATH DE number 1183237

MaRDI QIDQ3837985zbMATH OpenFDO

Authors Torben Braüner

Publication date 10 December 1998

zbMATH Keywords

PCFcategorical model

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

(5)

• The Scott model of PCF in univalent type theory
• scientific article; zbMATH DE number 2185709 (Why is no real title available?)
• Computational adequacy for recursive types in models of intuitionistic set theory
• scientific article; zbMATH DE number 1476491 (Why is no real title available?)
• 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)