×

Found 703 Documents (Results 1–100)

100
MathJax

An elementary overview of mathematical structures. Algebra, topology and categories. (English) Zbl 1468.18001

Hackensack, NJ: World Scientific (ISBN 978-981-12-2031-9/hbk; 978-981-12-2033-3/ebook). x, 382 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI

Combining algebraic effect descriptions using the tensor of complete lattices. (English) Zbl 07516380

Johann, Patricia (ed.), Proceedings of the 36th conference on mathematical foundations of programming semantics, MFPS XXXVI, virtual conference, June 2–6, 2020. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 352, 257-281 (2020).
MSC:  68N30 68Q55
PDF BibTeX XML Cite
Full Text: DOI

Continuous monads. (English) Zbl 07516376

Johann, Patricia (ed.), Proceedings of the 36th conference on mathematical foundations of programming semantics, MFPS XXXVI, virtual conference, June 2–6, 2020. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 352, 173-190 (2020).
MSC:  68N30 68Q55
PDF BibTeX XML Cite
Full Text: DOI

Weakest preconditions in fibrations. (English) Zbl 07516369

Johann, Patricia (ed.), Proceedings of the 36th conference on mathematical foundations of programming semantics, MFPS XXXVI, virtual conference, June 2–6, 2020. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 352, 5-27 (2020).
MSC:  68N30 68Q55
PDF BibTeX XML Cite
Full Text: DOI

Algebraic and coalgebraic perspectives on interaction laws. (English) Zbl 1476.68066

Oliveira, Bruno C. d. S. (ed.), Programming languages and systems. 18th Asian symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12470, 186-205 (2020).
MSC:  68N30 18C15
PDF BibTeX XML Cite
Full Text: DOI

Interaction laws of monads and comonads. (English) Zbl 07299499

Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 604-618 (2020).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI arXiv

Combining probabilistic and non-deterministic choice via weak distributive laws. (English) Zbl 07299488

Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 454-464 (2020).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI HAL

En garde! Unguarded iteration for reversible computation in the delay monad. (English) Zbl 1434.68088

Hutton, Graham (ed.), Mathematics of program construction. 13th international conference, MPC 2019, Porto, Portugal, October 7–9, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11825, 366-384 (2019).
MSC:  68N18 68Q09
PDF BibTeX XML Cite
Full Text: DOI

Quantitative foundations for resource theories. (English) Zbl 07533357

Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 32, 17 p. (2018).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI

Higher dimensional categories: induction on extensivity. (English) Zbl 07517278

Staton, Sam (ed.), Proceedings of the 34th conference on the mathematical foundations of programming semantics (MFPS XXXIV), Dalhousie University, Halifax, Canada, June 6–9, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 341, 73-90 (2018).
MSC:  68N30 68Q55
PDF BibTeX XML Cite
Full Text: DOI

Near distributive laws. (English) Zbl 07517275

Staton, Sam (ed.), Proceedings of the 34th conference on the mathematical foundations of programming semantics (MFPS XXXIV), Dalhousie University, Halifax, Canada, June 6–9, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 341, 277-295 (2018).
MSC:  68N30 68Q55
PDF BibTeX XML Cite
Full Text: DOI

Iterated covariant powerset is not a monad. (English) Zbl 07517274

Staton, Sam (ed.), Proceedings of the 34th conference on the mathematical foundations of programming semantics (MFPS XXXIV), Dalhousie University, Halifax, Canada, June 6–9, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 341, 261-276 (2018).
MSC:  68N30 68Q55
PDF BibTeX XML Cite
Full Text: DOI

Classical control and quantum circuits in enriched category theory. (English) Zbl 07513466

Silva, Alexandra (ed.), Proceedings of the 33rd conference on the mathematical foundations of programming semantics (MFPS XXXIII), Ljubljana, Slovenia, June 12–15, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 336, 257-279 (2018).
MSC:  68N30 68Q55
PDF BibTeX XML Cite
Full Text: DOI

A categorical characterization of relative entropy on standard Borel spaces. (English) Zbl 07513459

Silva, Alexandra (ed.), Proceedings of the 33rd conference on the mathematical foundations of programming semantics (MFPS XXXIII), Ljubljana, Slovenia, June 12–15, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 336, 135-153 (2018).
MSC:  68N30 68Q55
PDF BibTeX XML Cite
Full Text: DOI

A semantics for hybrid iteration. (English) Zbl 07378566

Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 22, 17 p. (2018).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI arXiv

A functional interpretation with state. (English) Zbl 1453.03065

Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 839-848 (2018).
MSC:  03F25 03F10 03F30
PDF BibTeX XML Cite
Full Text: DOI

Hopf algebras and their generalizations from a category theoretical point of view. (English) Zbl 1417.16034

Lecture Notes in Mathematics 2226. Cham: Springer (ISBN 978-3-319-98136-9/pbk; 978-3-319-98137-6/ebook). xi, 163 p. (2018).
MSC:  16T05 18D10 16T10 18C15 18D15
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software