Blog

Guide

On this page

Table of Contents for current page

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

A simpler encoding of indexed types, by Tesla Zhang
TyDe 2021
arXiv preprint doi conference version online

A tutorial on implementing De Morgan cubical type theory, by Tesla Zhang
arXiv preprint
Elegant elaboration with function invocation, by Tesla Zhang
arXiv preprint online

Last updated: