×

Found 7,460 Documents (Results 701–800)

On compositionality of dinatural transformations. (English) Zbl 1528.18001

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 33, 22 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

Quantitative foundations for resource theories. (English) Zbl 1528.18008

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).
PDFBibTeX XMLCite
Full Text: DOI

Modality via iterated enrichment. (English) Zbl 1528.03129

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, 297-320 (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Category-theoretic structure for independence and conditional independence. (English) Zbl 1525.68073

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, 281-297 (2018).
PDFBibTeX XMLCite
Full Text: DOI

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

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).
PDFBibTeX XMLCite
Full Text: DOI

Uniqueness of composition in quantum theory and linguistics. (English) Zbl 1486.18014

Coecke, Bob (ed.) et al., Proceedings of the 14th international conference on quantum physics and logic, QPL’17, Nijmegen, The Netherlands, July 3–7, 2017. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 266, 249-257 (2018).
PDFBibTeX XMLCite
Full Text: arXiv Link

A theory of linear typings as flows on 3-valent graphs. (English) Zbl 1453.03012

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). 919-928 (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Species, profunctors and Taylor expansion weighted by SMCC. A unified framework for modelling nondeterministic, probabilistic and quantum programs. (English) Zbl 1497.68128

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). 889-898 (2018).
PDFBibTeX XMLCite
Full Text: DOI

Two complete axiomatisations of pure-state qubit quantum computing. (English) Zbl 1452.81079

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). 502-511 (2018).
MSC:  81P68 18D15
PDFBibTeX XMLCite
Full Text: DOI

Probabilistic stable functions on discrete cones are power series. (English) Zbl 1502.68169

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). 275-284 (2018).
PDFBibTeX XMLCite
Full Text: DOI

From reflection equation algebra to braided Yangians. (English) Zbl 1423.81108

Buchstaber, Victor M. (ed.) et al., Recent developments in integrable systems and related topics of mathematical physics. Kezenoi-Am, Russia, 2016. Cham: Springer. Springer Proc. Math. Stat. 273, 107-129 (2018).
MSC:  81R50 81R12 16T25 17B37 20F55 18D10 17B81
PDFBibTeX XMLCite
Full Text: DOI arXiv

Computational aspects of the homotopy theory of topological operads. (English) Zbl 1410.18001

Münster: Univ. Münster, Mathematisch-Naturwissenschaftliche Fakultät, Fachbereich Mathematik und Informatik (Diss.). vii, 62 p. (2018).
MSC:  18-02 18D10 18D50 55P48
PDFBibTeX XMLCite

Tensor products and regularity properties of Cuntz semigroups. (English) Zbl 1414.46035

Memoirs of the American Mathematical Society 1199. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-2797-9/print; 978-1-4704-4282-8/ebook). viii, 196 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Proceedings of the international conference on topological algebras and their applications, ICTAA 2018, Tallinn, Estonia, January 25–28, 2018. (English) Zbl 1404.46005

Mathematics Studies (Tartu) 7. Tartu: Estonian Mathematical Society (ISBN 978-9949-77-936-9/pbk). 167 p. (2018).
MSC:  46-06 46M15 46H20 46M05 18D35 46Lxx 00B25
PDFBibTeX XMLCite

Topology and quantum theory in interaction. NSF-CBMS regional conference in the mathematical sciences: topological and geometric methods in QFT, Montana State University, Bozeman, MT, USA, July 31 – August 4, 2017. Proceedings. (English) Zbl 1404.81009

Contemporary Mathematics 718. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-4243-9/pbk; 978-1-4704-4941-4/ebook). xi, 258 p. (2018).
MSC:  81-06 81Txx 81S40 55Q10 53C44 18D05 00B25
PDFBibTeX XMLCite
Full Text: DOI

Higher categorical aspects of Hall algebras. (English) Zbl 1404.16016

Herbera, Dolors (ed.) et al., Building bridges between algebra and topology. Lecture notes. Cham: Birkhäuser (ISBN 978-3-319-70156-1/pbk; 978-3-319-70157-8/ebook). Advanced Courses in Mathematics – CRM Barcelona, 1-61 (2018).
MSC:  16G99 18D10
PDFBibTeX XMLCite
Full Text: DOI arXiv

Graded multiplications on iterated bar constructions. (English) Zbl 1419.18014

Ausoni, Christian (ed.) et al., An alpine bouquet of algebraic topology. Alpine algebraic and applied topology conference, Saas-Almagell, Switzerland, August 15–21, 2016. Proceedings. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 708, 245-274 (2018).
MSC:  18D10 18G30 55U35 55P43 55N20 55P20
PDFBibTeX XMLCite
Full Text: DOI arXiv

The category of Waldhausen categories is a closed multicategory. (English) Zbl 1400.18008

Kitchloo, Nitya (ed.) et al., New directions in homotopy theory. Second Mid-Atlantic Topology Conference, Johns Hopkins University, Baltimore, MD, USA, March 12–13, 2016. Proceedings. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-3774-9/hbk; 978-1-4704-4772-4/ebook). Contemporary Mathematics 707, 175-194 (2018).
MSC:  18D05 18D10
PDFBibTeX XMLCite
Full Text: DOI arXiv

The linearity of fixed point invariants. (English) Zbl 1400.18007

Kitchloo, Nitya (ed.) et al., New directions in homotopy theory. Second Mid-Atlantic Topology Conference, Johns Hopkins University, Baltimore, MD, USA, March 12–13, 2016. Proceedings. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-3774-9/hbk; 978-1-4704-4772-4/ebook). Contemporary Mathematics 707, 89-120 (2018).
MSC:  18D05 18D10 55M20
PDFBibTeX XMLCite
Full Text: DOI arXiv

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