Hacker News new | past | comments | ask | show | jobs | submit | from login
Quantitative Type Theory [pdf] (bentnib.org)
1 point by entelechy 9 months ago | past | web
Parameterised Notions of Computation [pdf] (bentnib.org)
2 points by jxub on Aug 11, 2018 | past | web
A scope safe universe of syntaxes with binding, their semantics and proofs (bentnib.org)
1 point by fanf2 on June 4, 2018 | past | web
The Syntax and Semantics of Quantitative Type Theory (bentnib.org)
36 points by gbrown_ on Apr 20, 2018 | past | web
From Parametricity to Conservation Laws, via Noether’s Theorem (2014) [pdf] (bentnib.org)
2 points by m_j_g on Mar 7, 2018 | past | web
The Syntax and Semantics of Quantitative Type Theory (bentnib.org)
3 points by mpweiher on July 26, 2017 | past | web | 1 comment
From Parametricity to Conservation Laws, via Noether's Theorem (bentnib.org)
4 points by espeed on Apr 1, 2017 | past | web
Propositions as Filenames, Builds as Proofs: The Essence of Make (bentnib.org)
77 points by archena on Apr 19, 2015 | past | web | 19 comments
From Parametricity to Conservation Laws, via Noether's Theorem (bentnib.org)
1 point by galapago on Oct 28, 2013 | past | web

Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | Legal | Apply to YC | Contact

Search: