✦ LIBER ✦

A synthetic theory of sequential domains

✍ Scribed by Bernhard Reus; Thomas Streicher

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formalizing Synthetic Domain Theory

✍ Bernhard Reus 📂 Article 📅 1999 🏛 Springer Netherlands 🌐 English ⚖ 235 KB

Two models of synthetic domain theory

✍ Marcelo P. Fiore; Giuseppe Rosolini 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 688 KB

Operational domain theory and topology o

✍ Martı´n Escardó; Weng Kin Ho 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 331 KB

Some axiomatic results in synthetic doma

✍ A.K. van Oosten; J. Simpson 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 31 KB

Axioms and (counter)examples in syntheti

✍ Jaap van Oosten; Alex K. Simpson 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 273 KB

Synthetic domain theory and models of li

✍ Rasmus Ejlers Møgelberg; Lars Birkedal; Giuseppe Rosolini 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 604 KB