poiret_etal_2026:
  type: article
  title: 'Divide and Check: Logical Relations, No Algorithms Attached'
  author:
  - Poiret, Josselin
  - Maillard, Kenji
  - Tabareau, Nicolas
  date: 2026
  page-range: 26:1-26:23
  url: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2026.26
  serial-number:
    doi: 10.4230/LIPICS.FSCD.2026.26
  parent:
    type: proceedings
    title: 11th International Conference on Formal Structures for Computation and Deduction (FSCD 2026)
    publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
    volume: 378