@inproceedings{poiret_etal_2026,
  doi = {10.4230/LIPICS.FSCD.2026.26},
  url = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2026.26},
  author = {Poiret, Josselin and Maillard, Kenji and Tabareau, Nicolas},
  keywords = {Type Theory, Proof Assistants, Theory of computation → Type theory},
  language = {en},
  title = {Divide and Check: Logical Relations, No Algorithms Attached},
  volume = {378},
  pages = {26:1-26:23},
  publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},
  year = {2026},
  copyright = {Creative Commons Attribution 4.0 International license},
  booktitle = {11th International Conference on Formal Structures for Computation and Deduction (FSCD 2026)}
}