bentnib.org/quantitative-type-theory.html
Preview meta tags from the bentnib.org website.
Linked Hostnames
2General Meta Tags
3- titleThe Syntax and Semantics of Quantitative Type Theory (2018) - Bob Atkey
- charsetutf-8
- viewportwidth=device-width, initial-scale=1
Link Tags
3- alternate/posts.rss.xml
- stylesheet/fonts/stylesheet.css
- stylesheet/simple.css
Emails
1Links
6- http://dx.doi.org/10.1145/3209108.3209189
- https://bentnib.org
- https://bentnib.org/blog.html
- https://bentnib.org/publications.html
- https://bentnib.org/quantitative-type-theory.bib