behr-2023-convolution:
  type: article
  title: Convolution Products on Double Categories and Categorification of Rule Algebras
  author:
  - Behr, Nicolas
  - Melliès, Paul-André
  - Zeilberger, Noam
  date: 2023
  page-range: 17:1-17:20
  url: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2023.17
  serial-number:
    doi: 10.4230/LIPICS.FSCD.2023.17
  parent:
    type: proceedings
    title: 8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023)
    publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
    volume: 260