Publications

This is a list of publications related to Aya by the Aya developers.

Papers

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

Notes

• (Co)conditions hit the path, by Tesla Zhang
  arXiv preprint
• 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