Locally Boolean domains and universal models for infinitary sequential languages.

MaRDI QIDQ5757150zbMATH OpenFDO

Authors Tobias Löw

Publication date 27 August 2007

zbMATH Keywords

simply typed \(\lambda\)-calculusCurien-Lemarche games

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Recommendations

• Universality Results for Models in Locally Boolean Domains
• Locally Boolean domains
• Bistable Biorders: A Sequential Domain Theory
• Quantitative domains and infinitary algebras
• Finite Axiomatizations for Universal Domains

Cited in

(2)

• Locally Boolean domains
• Universality Results for Models in Locally Boolean Domains

This page was built for publication: Locally Boolean domains and universal models for infinitary sequential languages.

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