Login
From:
danilafe.com
(Uncensored)
subscribe
Implementing and Verifying "Static Program Analysis" in Agda, Part 3: Lattices of Finite Height
https://danilafe.com/blog/03_spa_agda_fixed_height/
links
backlinks
In this post, I describe the class of finite-height lattices, and prove that lattices we've alread seen are in that class
Roast topics
Find topics
Roast it!
Roast topics
Find topics
Find it!
Roast topics
Find topics
Find it!
