demeo-2022-a:
  type: article
  title: A Machine-Checked Proof of Birkhoff’s Variety Theorem in Martin-Löf Type Theory
  author:
  - DeMeo, William
  - Carette, Jacques
  date: 2022
  page-range: 4:1-4:21
  url: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TYPES.2021.4
  serial-number:
    doi: 10.4230/LIPICS.TYPES.2021.4
  parent:
    type: proceedings
    title: 27th International Conference on Types for Proofs and Programs (TYPES 2021)
    publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
    volume: 239