×

Found 2,353 Documents (Results 1–100)

The unification of mathematics via topos theory. (English) Zbl 07740533

Béziau, Jean-Yves (ed.) et al., Logic in question. Talks from the annual Sorbonne logic workshop (2011–2019), Paris, France, April 15–16, 2019. Cham: Birkhäuser. Stud. Univers. Log., 563-601 (2022).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Structured handling of scoped effects. (English) Zbl 1528.68088

Sergey, Ilya (ed.), Programming languages and systems. 31st European symposium on programming, ESOP 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13240, 462-491 (2022).
MSC:  68N30 18C50 68N18
PDFBibTeX XMLCite
Full Text: DOI arXiv

A categorical reading of the numerical existence property in constructive foundations. (English) Zbl 1523.03029

Oliveri, Gianluigi (ed.) et al., Objects, structures, and logics. FilMat studies in the philosophy of mathematics. Cham: Springer. Boston Stud. Philos. Hist. Sci. 339, 349-363 (2022).
PDFBibTeX XMLCite
Full Text: DOI Link

The open algebraic path problem. (English) Zbl 07774246

Gadducci, Fabio (ed.) et al., 9th conference on algebra and coalgebra in computer science, CALCO 2021, Salzburg, Austria, August 31 – September 3, 2021. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 211, Article 20, 20 p. (2021).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Beth semantics and labelled deduction for intuitionistic sentential calculus with identity. (English) Zbl 07700618

Kobayashi, Naoki (ed.), 6th international conference on formal structures for computation and deduction, FSCD 2021, Buenos Aires, Argentina, virtual conference, July 17–24, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 195, Article 13, 21 p. (2021).
MSC:  68-XX 03B70 68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Trace semantics and algebraic laws for MCA ARMv8 architecture based on UTP. (English) Zbl 1498.68018

Qin, Shengchao (ed.) et al., Dependable software engineering. Theories, tools, and applications. 7th international symposium, SETTA 2021, Beijing, China, November 25–27, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13071, 81-101 (2021).
MSC:  68M07 68N30 68Q55
PDFBibTeX XMLCite
Full Text: DOI

An invitation to topological semi-abelian algebras. (English) Zbl 1480.18008

Clementino, Maria Manuel (ed.) et al., New perspectives in algebra, topology and categories. Summer school, Louvain-la-Neuve, Belgium, September 12–15, 2018 and September 11–14, 2019. Cham: Springer. Coimbra Math. Texts 1, 27-66 (2021).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software