Document Open Access Logo

LIPIcs, Volume 270, CALCO 2023, Complete Volume

Authors Paolo Baldan , Valeria de Paiva

Thumbnail PDF


  • Filesize: 7.28 MB
  • 336 pages

Document Identifiers

Author Details

Paolo Baldan
  • University of Padova, Italy
Valeria de Paiva
  • Topos Institute, Berkeley, CA, USA

Cite AsGet BibTex

10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 270, pp. 1-336, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)


LIPIcs, Volume 270, CALCO 2023, Complete Volume

Subject Classification

ACM Subject Classification
  • Theory of computation → Models of computation
  • Theory of computation → Modal and temporal logics
  • Theory of computation → Categorical semantics
  • Theory of computation → Algebraic semantics
  • Theory of computation → Quantum computation theory
  • Software and its engineering → Context specific languages
  • LIPIcs, Volume 270, CALCO 2023, Complete Volume


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads
Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail