×

Found 530 Documents (Results 1–100)

100
MathJax

Homotopy limits of model categories, revisited. (English) Zbl 1482.55021

Balchin, Scott (ed.) et al., Equivariant topology and derived algebra. Based on the conference, Trondheim, Norway, 2019. In honour of Professor J. P. C. Greenlees’ 60th birthday. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 474, 314-338 (2022).
PDF BibTeX XML Cite
Full Text: Link

Modality via iterated enrichment. (English) Zbl 07517283

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).
MSC:  68N30 68Q55
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

Enriching a linear/non-linear lambda calculus: a programming language for string diagrams. (English) Zbl 1454.03023

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). 659-668 (2018).
MSC:  03B40 03F52 68N18
PDF BibTeX XML Cite
Full Text: DOI arXiv

The positivication of coalgebraic logics. (English) Zbl 1433.03160

Bonchi, Filippo (ed.) et al., 7th conference on algebra and coalgebra in computer science, CALCO 2017, June 14–16, 2017, Ljubljana, Slovenia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 72, Article 9, 15 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI arXiv

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

Biographic Reference

all top 3

Software