Games and full abstraction for FPC.

DOI10.1006/INCO.1999.2845zbMath1046.68508OpenAlexW2650831125MaRDI QIDQ1854351

Guy McCusker

Publication date: 14 January 2003

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/c391b1ac7792fb73fe65d00860a0b2455dc7e039

Mathematics Subject Classification ID

Game theory (91A99) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Higher-type and set recursion theory (03D65)

Related Items (13)

The category of node-and-choice preforms for extensive-form games ⋮ Game semantics for constructive modal logic ⋮ Understanding Game Semantics Through Coherence Spaces ⋮ Game Semantics in the Nominal Model ⋮ Game theoretic analysis of call-by-value computation ⋮ Full abstraction for Reduced ML ⋮ Game-theoretic analysis of call-by-value computation ⋮ The Category of Node-and-Choice Forms, with Subcategories for Choice-Sequence Forms and Choice-Set Forms ⋮ An operational domain-theoretic treatment of recursive types ⋮ Realisability semantics of parametric polymorphism, general references and recursive types ⋮ Least and Greatest Fixpoints in Game Semantics ⋮ Full Abstraction for Reduced ML ⋮ Some Programming Languages Suggested by Game Models (Extended Abstract)

Cites Work

• Linear logic
• I-categories as a framework for solving domain equations
• LCF considered as a programming language
• Fully abstract models of typed \(\lambda\)-calculi
• Fully abstract semantics for observably sequential languages
• On full abstraction for PCF: I, II and III
• Kripke logical relations and PCF
• Relational properties of domains
• The Category-Theoretic Solution of Recursive Domain Equations
• Games and full completeness for multiplicative linear logic
• Games and Definability For FPC
• Axiomatic Domain Theory in Categories of Partial Maps
• Game theoretic analysis of call-by-value computation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Games and full abstraction for FPC.