Publications

This is a list of publications about Aya by the Aya developers.

Papers

• A simpler encoding of indexed types, by Tesla Zhang
  TyDe 2021
  arXiv preprint doi

Notes

• Two tricks to trivialize higher-indexed families, by Tesla Zhang
  arXiv preprint
• A tutorial on implementing De Morgan cubical type theory, by Tesla Zhang
  arXiv preprint
• Elegant elaboration with function invocation, by Tesla Zhang
  arXiv preprint