qtt

A toy implementation of Quantitative Type Theory¹², with subusaging.

Footnotes

1. McBride, C. (2016). I got plenty o’nuttin’. In A List of Successes That Can Change the World (pp. 207-233). Springer, Cham. ↩

2. Atkey, R. (2018, May). The syntax and semantics of quantitative type theory. In 33rd ACM/IEEE Symp. on Logic in Computer Science (LICS’18). ↩