Get the latest tech news

Data types as Lattices – Dana Scott [pdf]

Selected Papers of Dana S. Scott. Contribute to CMU-HoTT/scott development by creating an account on GitHub.

Get the Android app