Found 25 Documents (Results 1–25)
The syntactic side of autonomous categories enriched over generalised metric spaces. (English) Zbl 07789003
Smart choices and the selection monad. (English) Zbl 07731914
MSC:
68-XX
Uniform envelopes. (English) Zbl 07577572
The theory of traces for systems with nondeterminism, probability, and termination. (English) Zbl 07566077
Web spaces and worldwide web spaces: topological aspects of domain theory. (English) Zbl 1476.54030
Reviewer: Esteban Induraín (Pamplona)
Extending set functors to generalised metric spaces. (English) Zbl 1408.18005
Reviewer: Hirokazu Nishimura (Tsukuba)
A complete quantitative deduction system for the bisimilarity distance on Markov chains. (English) Zbl 1409.68182
Computability in basic quantum mechanics. (English) Zbl 1451.18016
Reviewer: Hirokazu Nishimura (Tsukuba)
Domains via approximation operators. (English) Zbl 1476.06006
MSC:
06B35
Some model theory for the modal \(\mu\)-calculus: syntactic characterisations of semantic properties. (English) Zbl 1459.03022
The Ho-Zhao problem. (English) Zbl 1459.06003
Filter Results by …
all
top 5
Author
- Mardare, Radu (3)
- De Brecht, Matthew (2)
- Ehrhard, Thomas (2)
- Ho, Weng Kin (2)
- Kurz, Alexander (2)
- Neumann, Eike (2)
- Plotkin, Gordon D. (2)
- Abadi, Martín (1)
- Bacci, Giorgio (1)
- Bacci, Giovanni (1)
- Balan, Adriana (1)
- Berger, Ulrich (1)
- Bezhanishvili, Guram (1)
- Bezhanishvili, Nick (1)
- Bonchi, Filippo (1)
- Dahlqvist, Fredrik (1)
- De Groot, Jim (1)
- de Jong, Tom J. (1)
- Erné, Marcel (1)
- Fontaine, Gaëlle (1)
- Gehrke, Mai (1)
- Goubault-Larrecq, Jean (1)
- Hötzel Escardó, Martín (1)
- Jacobs, Bart (1)
- Jakl, Tomáš (1)
- Jung, Achim (1)
- Kawai, Tatsuji (1)
- Larsen, Kim Guldstrand (1)
- Li, Qingguo (1)
- Mio, Matteo (1)
- Neves, Renato (1)
- Panangaden, Prakash (1)
- Pape, Martin (1)
- Poiger, Wolfgang (1)
- Reggio, Luca (1)
- Rennela, Mathys (1)
- Sokolova, Ana (1)
- Spreen, Dieter (1)
- Streicher, Thomas (1)
- Tasson, Christine (1)
- Teheux, Bruno (1)
- Velebil, Jiří (1)
- Venema, Yde (1)
- Vignudelli, Valeria (1)
- Xi, Xiaoyong (1)
- Xu, Luoshan (1)
- Zhao, Dongsheng (1)
- Zou, Zhiwei (1)
all
top 5
Volume
- 20, No. 3 (2024) (1)
- 19, No. 4 (2023) (1)
- 19, No. 3 (2023) (1)
- 19, No. 2 (2023) (2)
- 18, No. 3 (2022) (3)
- 18, No. 2 (2022) (1)
- 18, No. 1 (2022) (1)
- 16, No. 4 (2020) (1)
- 16, No. 1 (2020) (2)
- 15, No. 3 (2019) (1)
- 15, No. 1 (2019) (3)
- 14, No. 4 (2018) (1)
- 14, No. 3 (2018) (1)
- 14, No. 2 (2018) (3)
- 14, No. 1 (2018) (3)