bronsveld-2025-impredicative:
  type: article
  title: Impredicative Encodings of Inductive and Coinductive Types
  author:
  - Bronsveld, Steven
  - Geuvers, Herman
  - name: Weide
    given-name: Niels
    prefix: van der
  date: 2025
  page-range: 11:1-11:22
  url: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2025.11
  serial-number:
    doi: 10.4230/LIPICS.FSCD.2025.11
  parent:
    type: proceedings
    title: 10th International Conference on Formal Structures for Computation and Deduction (FSCD 2025)
    publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
    volume: 337