Data types as Lattices – Dana Scott [pdf] (github.com/CMU-HoTT)
Data types, Mathematics, Programming Languages, Type Theory
34 points by ozb 106 days ago | 5 comments