Locally Boolean domains and universal models for infinitary sequential languages.

zbMATH Open1128.68049MaRDI QIDQ5757150FDOQ5757150

Authors: Tobias Löw 

Publication date: 27 August 2007

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

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)

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)