- On the Computational Content of Zorn's Lemma Thomas Powell Sat 04 July 2020
- A Domain Theory for Statistical Probabilistic Programming Matthijs Vákár Ohad Kammar Sam Staton Mon 14 October 2019
- Bistable Biorders: A Sequential Domain Theory James Laird Wed 15 May 2013
- Profinite Solutions for Recursive Domain Equations Carl A. Gunter Mon 08 April 2013
- Universal profinite domains Carl A. Gunter Mon 08 April 2013
- Domains Gordon Plotkin Sun 07 April 2013
- Proof of normalisation using domain theory Thierry Coquand Arnaud Spivak Mon 25 February 2013
- Domain theory in logical form Samson Abramsky Mon 18 February 2013
- Power domains and predicate transformers: A topological view M. Smyth Sat 29 December 2012
Library Size: 13G (9 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
