Skip to content

Latest commit

 

History

History
8 lines (4 loc) · 367 Bytes

README.md

File metadata and controls

8 lines (4 loc) · 367 Bytes

qtt

A toy implementation of Quantitative Type Theory12, 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). ↩