@inproceedings{altenmuller-2026-a,
  doi = {10.4230/LIPICS.TYPES.2025.13},
  url = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TYPES.2025.13},
  author = {Altenmüller, Malin and Mc Bride, Conor Titania},
  keywords = {planar graph, spanning tree, dependent types, graph rewriting, Theory of computation → Type theory, Mathematics of computing → Graphs and surfaces, Theory of computation → Rewrite systems},
  language = {en},
  title = {A Data Type of Intrinsically Plane Graphs in Agda},
  volume = {384},
  pages = {13:1-13:24},
  publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},
  year = {2026},
  copyright = {Creative Commons Attribution 4.0 International license},
  booktitle = {31st International Conference on Types for Proofs and Programs (TYPES 2025)}
}