Author:
Kurz Alexander,Moshier Andrew,Jung Achim
Publisher
Springer International Publishing
Reference71 articles.
1. Abramsky, S. (1991). Domain theory in logical form. Annals of Pure and Applied Logic, 51(1–2), 1–77. https://www.cs.ox.ac.uk/files/295/dtlf.pdf
2. Abramsky, S., & Shah, N. (2018). Relating structure and power: Comonadic semantics for computational resources. CSL.
3. Abramsky, S., Dawar, A., & Wang, P. (2017). The pebbling comonad in finite model theory. LICS.
4. Bakhtiari, Z., & Hansen, H. H. (2017). Bisimulation for weakly expressive coalgebraic modal logics, CALCO. https://drops.dagstuhl.de/opus/volltexte/2017/8050/pdf/LIPIcs-CALCO-2017-4.pdf
5. Banaschewski, B. (1976). Remarks on dual adjointness. Nordwestdeutsches Kategorienseminar, Math.-Arbeitspapiere, Teil A: Math. Forschungspapiere, 7, 3–10.