LIPIcs, Volume 270, CALCO 2023

• Paolo Baldan and Valeria de Paiva LIPIcs, Volume 270, CALCO 2023, Complete Volume 10.4230/LIPIcs.CALCO.2023
• Paolo Baldan and Valeria de Paiva Front Matter, Table of Contents, Preface, Conference Organization 10.4230/LIPIcs.CALCO.2023.0
• Robert Harper Integrating Cost and Behavior in Type Theory (Invited Talk) 10.4230/LIPIcs.CALCO.2023.1
• Roberto Bruni Local Completeness for Program Correctness and Incorrectness (Invited Talk) 10.4230/LIPIcs.CALCO.2023.2
• Elaine Pimentel and Luiz Carlos Pereira A Tour on Ecumenical Systems (Invited Talk) 10.4230/LIPIcs.CALCO.2023.3
• Jeremy G. Siek The Metatheory of Gradual Typing: State of the Art and Challenges (Invited Talk) 10.4230/LIPIcs.CALCO.2023.4
• Assia Mahboubi Machine-Checked Computational Mathematics (Invited Talk) 10.4230/LIPIcs.CALCO.2023.5
• Ruben Turkenburg, Harsh Beohar, Clemens Kupke, and Jurriaan Rot Forward and Backward Steps in a Fibration 10.4230/LIPIcs.CALCO.2023.6
• Harald König, Uwe Wolter, and Tim Kräuter Structural Operational Semantics for Heterogeneously Typed Coalgebras 10.4230/LIPIcs.CALCO.2023.7
• Andrzej Tarlecki Interpolation Is (Not Always) Easy to Spoil 10.4230/LIPIcs.CALCO.2023.8
• Aleksandar Milosavljević, Robin Piedeleu, and Fabio Zanasi String Diagram Rewriting Modulo Commutative (Co)Monoid Structure 10.4230/LIPIcs.CALCO.2023.9
• Jiří Adámek, Matěj Dostál, and Jiří Velebil Strongly Finitary Monads for Varieties of Quantitative Algebras 10.4230/LIPIcs.CALCO.2023.10
• Stefan Zetzsche, Alexandra Silva, and Matteo Sammartino Generators and Bases for Monadic Closures 10.4230/LIPIcs.CALCO.2023.11
• Jurriaan Rot and Thorsten Wißmann Bisimilar States in Uncertain Structures 10.4230/LIPIcs.CALCO.2023.12
• Dario Stein and Richard Samuelson A Category for Unifying Gaussian Probability and Nondeterminism 10.4230/LIPIcs.CALCO.2023.13
• Todd Schmid, Victoria Noquez, and Lawrence S. Moss Fractals from Regular Behaviours 10.4230/LIPIcs.CALCO.2023.14
• Paige Randall North and Maximilien Péroux Coinductive Control of Inductive Data Types 10.4230/LIPIcs.CALCO.2023.15
• Tobias Fritz, Fabio Gadducci, Paolo Perrone, and Davide Trotta Weakly Markov Categories and Weakly Affine Monads 10.4230/LIPIcs.CALCO.2023.16
• Alexander Kurz and Wolfgang Poiger Many-Valued Coalgebraic Logic: From Boolean Algebras to Primal Varieties 10.4230/LIPIcs.CALCO.2023.17
• Henning Basold and Tanjona Ralaivaosaona Composition and Recursion for Causal Structures 10.4230/LIPIcs.CALCO.2023.18
• Jérémy Dubut Aczel-Mendler Bisimulations in a Regular Category 10.4230/LIPIcs.CALCO.2023.19
• Guido Boccali, Andrea Laretto, Fosco Loregian, and Stefano Luneia Completeness for Categories of Generalized Automata ((Co)algebraic pearls) 10.4230/LIPIcs.CALCO.2023.20
• Jiří Adámek, Stefan Milius, and Lawrence S. Moss On Kripke, Vietoris and Hausdorff Polynomial Functors ((Co)algebraic pearls) 10.4230/LIPIcs.CALCO.2023.21
• Nathan Liittschwager, Stelios Tsampas, Jonathan Castello, and Lindsey Kuper CRDTs, Coalgebraically (Early Ideas) 10.4230/LIPIcs.CALCO.2023.22
• Harrison Grodin and Robert Harper Amortized Analysis via Coinduction (Early Ideas) 10.4230/LIPIcs.CALCO.2023.23
• Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, and Henning Urbat Higher-Order Mathematical Operational Semantics (Early Ideas) 10.4230/LIPIcs.CALCO.2023.24