CMU-HoTT/scott
Selected Papers of Dana S. Scott
34 best points · 5 comments · 1 Hacker News post · 180 GitHub stars · View on GitHub
Hacker News discussions
- Data types as Lattices – Dana Scott [pdf] (34 points, 5 comments, by ozb, 2024-08-09)
Selected Papers of Dana S. Scott
34 best points · 5 comments · 1 Hacker News post · 180 GitHub stars · View on GitHub