Full abstraction, totality and PCF

DOI10.1017/S0960129598002692MaRDI QIDQ4237906zbMATH OpenOpenAlexFDO

Authors Gordon D. Plotkin

Publication date 13 April 1999

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129598002692

zbMATH Keywords

PCFScott's model

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Combinatory logic and lambda calculus (03B40) Semantics in the theory of computing (68Q55)

Recommendations

• Full abstraction for PCF
• scientific article; zbMATH DE number 1523049
• On full abstraction for PCF: I, II and III
• Full Abstraction and the Context Lemma
• Definability and full abstraction
• Full abstraction and expressive completeness for FP
• Full abstraction and the Context Lemma (preliminary report)
• Full abstraction for probabilistic PCF
• Full abstraction and limiting completeness in equational languages
• Full abstraction for polymorphic \(\pi \)-calculus

Cited in

(16)

• scientific article; zbMATH DE number 1523049 (Why is no real title available?)
• Nonflatness and totality
• scientific article; zbMATH DE number 512783 (Why is no real title available?)
• On the ubiquity of certain total type structures
• scientific article; zbMATH DE number 1531371 (Why is no real title available?)
• Full abstraction and the Context Lemma (preliminary report)
• General conditions for full abstraction
• On full abstraction for PCF: I, II and III
• A universality theorem for PCF with recursive types, parallel-or and ∃
• Full abstraction for nominal Scott domains
• The sequentially realizable functionals
• Full Abstraction and the Context Lemma
• Exact real number computations relative to hereditarily total functionals.
• A categorical foundation for structured reversible flowchart languages: soundness and adequacy
• Operational domain theory and topology of sequential programming languages
• scientific article; zbMATH DE number 431771 (Why is no real title available?)

This page was built for publication: Full abstraction, totality and PCF

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4237906)