Full abstraction, totality and PCF
From MaRDI portal
Publication:4237906
DOI10.1017/S0960129598002692zbMATH Open0923.68087OpenAlexW1993746530MaRDI QIDQ4237906FDOQ4237906
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
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
Specification and verification (program logics, model checking, etc.) (68Q60) Combinatory logic and lambda calculus (03B40) Semantics in the theory of computing (68Q55)
Cited In (16)
- Nonflatness and totality
- Exact real number computations relative to hereditarily total functionals.
- A categorical foundation for structured reversible flowchart languages: soundness and adequacy
- Title not available (Why is that?)
- On the ubiquity of certain total type structures
- Full abstraction for nominal Scott domains
- On full abstraction for PCF: I, II and III
- Title not available (Why is that?)
- General conditions for full abstraction
- The sequentially realizable functionals
- Title not available (Why is that?)
- Title not available (Why is that?)
- Operational domain theory and topology of sequential programming languages
- Full abstraction and the Context Lemma (preliminary report)
- Full Abstraction and the Context Lemma
- A universality theorem for PCF with recursive types, parallel-or and ∃
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)
