• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 281 matches

• 2023
• 
  Robert Harper:
  Integrating Cost and Behavior in Type Theory (Invited Talk). CALCO 2023: 1:1-1:2
• 
  Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat:
  Higher-Order Mathematical Operational Semantics (Early Ideas). CALCO 2023: 24:1-24:3
• 
  Alexander Kurz, Wolfgang Poiger:
  Many-Valued Coalgebraic Logic: From Boolean Algebras to Primal Varieties. CALCO 2023: 17:1-17:17
• 
  Jirí Adámek, Matej Dostál, Jirí Velebil:
  Strongly Finitary Monads for Varieties of Quantitative Algebras. CALCO 2023: 10:1-10:14
• 
  Jirí Adámek, Stefan Milius, Lawrence S. Moss:
  On Kripke, Vietoris and Hausdorff Polynomial Functors ((Co)algebraic pearls). CALCO 2023: 21:1-21:20
• 
  Henning Basold, Tanjona Ralaivaosaona:
  Composition and Recursion for Causal Structures. CALCO 2023: 18:1-18:17
• 
  Guido Boccali, Andrea Laretto, Fosco Loregiàn, Stefano Luneia:
  Completeness for Categories of Generalized Automata ((Co)algebraic pearls). CALCO 2023: 20:1-20:14
• 
  Roberto Bruni:
  Local Completeness for Program Correctness and Incorrectness (Invited Talk). CALCO 2023: 2:1-2:2
• 
  Jérémy Dubut:
  Aczel-Mendler Bisimulations in a Regular Category. CALCO 2023: 19:1-19:18
• 
  Tobias Fritz, Fabio Gadducci, Paolo Perrone, Davide Trotta:
  Weakly Markov Categories and Weakly Affine Monads. CALCO 2023: 16:1-16:17
• 
  Harrison Grodin, Robert Harper:
  Amortized Analysis via Coinduction (Early Ideas). CALCO 2023: 23:1-23:6
• 
  Harald König, Uwe Wolter, Tim Kräuter:
  Structural Operational Semantics for Heterogeneously Typed Coalgebras. CALCO 2023: 7:1-7:17
• 
  Nathan Liittschwager, Stelios Tsampas, Jonathan Castello, Lindsey Kuper:
  CRDTs, Coalgebraically (Early Ideas). CALCO 2023: 22:1-22:5
• 
  Assia Mahboubi:
  Machine-Checked Computational Mathematics (Invited Talk). CALCO 2023: 5:1-5:1
• 
  Aleksandar Milosavljevic, Robin Piedeleu, Fabio Zanasi:
  String Diagram Rewriting Modulo Commutative (Co)Monoid Structure. CALCO 2023: 9:1-9:17
• 
  Paige Randall North, Maximilien Péroux:
  Coinductive Control of Inductive Data Types. CALCO 2023: 15:1-15:17
• 
  Elaine Pimentel, Luiz Carlos Pereira:
  A Tour on Ecumenical Systems (Invited Talk). CALCO 2023: 3:1-3:15
• 
  Jurriaan Rot, Thorsten Wißmann:
  Bisimilar States in Uncertain Structures. CALCO 2023: 12:1-12:17
• 
  Todd Schmid, Victoria Noquez, Lawrence S. Moss:
  Fractals from Regular Behaviours. CALCO 2023: 14:1-14:18
• 
  Jeremy G. Siek:
  The Metatheory of Gradual Typing: State of the Art and Challenges (Invited Talk). CALCO 2023: 4:1-4:1
• 
  Dario Stein, Richard Samuelson:
  A Category for Unifying Gaussian Probability and Nondeterminism. CALCO 2023: 13:1-13:18
• 
  Andrzej Tarlecki:
  Interpolation Is (Not Always) Easy to Spoil. CALCO 2023: 8:1-8:19
• 
  Ruben Turkenburg, Harsh Beohar, Clemens Kupke, Jurriaan Rot:
  Forward and Backward Steps in a Fibration. CALCO 2023: 6:1-6:18
• 
  Front Matter, Table of Contents, Preface, Conference Organization. CALCO 2023: 0:1-0:10
• 
  Stefan Zetzsche, Alexandra Silva, Matteo Sammartino:
  Generators and Bases for Monadic Closures. CALCO 2023: 11:1-11:19
• 
  Paolo Baldan, Valeria de Paiva:
  10th Conference on Algebra and Coalgebra in Computer Science, CALCO 2023, June 19-21, 2023, Indiana University Bloomington, IN, USA. LIPIcs 270, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-287-7 [contents]
• 2021
• 
  Jirí Adámek, Stefan Milius, Lawrence S. Moss:
  Initial Algebras Without Iteration ((Co)algebraic pearls). CALCO 2021: 5:1-5:20
• 
  Jirí Adámek, Jirí Rosický:
  Which Categories Are Varieties? ((Co)algebraic pearls). CALCO 2021: 6:1-6:14
• 
  Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin:
  Tensor of Quantitative Equational Theories. CALCO 2021: 7:1-7:17
• 
  Jos C. M. Baeten, Cesare Carissimo, Bas Luttik:
  Pushdown Automata and Context-Free Grammars in Bisimulation Semantics. CALCO 2021: 8:1-8:16

skipping 251 more matches