Post #1745
999
https://yangzhixuan.github.io/NbE.html Yang, [2026] "An Algorithmic Reconstruction of Normalisation by Evaluation"
yangzhixuan.github.io An Algorithmic Reconstruction of Normalisation by Evaluation - 🔥 5
- Sep 14, 2026Tracking Redexes in the Lambda Calculus Jean-Jacques Lévy Residuals of redexes keep track…
- Sep 10, 2026Reference counting as a computational interpretation of linear logic Jawahar Chirimar, Car…
- Sep 6, 2026После лекции про System T меня расспрашивали про доказательства непротиворечивости и теоре…
- Sep 5, 2026https://dl.acm.org/doi/epdf/10.1145/2544173.2509546 Carbin, Misailovic, Rinard, [2013] "Ve…
- Aug 13, 2026Low-Level Software Security for Compiler Developers https://llsoftsec.github.io/llsoftsecb…
- Aug 1, 2026People in the know say it's a daily-worth material, https://youtu.be/FTmmG3Dx8HA