Universality Results for Models in Locally Boolean Domains

DOI10.1007/11874683_30zbMath1225.68106OpenAlexW1529931742MaRDI QIDQ3613357

Tobias Löw, Thomas Streicher

Publication date: 12 March 2009

Published in: Computer Science Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11874683_30

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Combinatory logic and lambda calculus (03B40)

Related Items (1)

A synthetic theory of sequential domains

This page was built for publication: Universality Results for Models in Locally Boolean Domains