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
Roast topics
Find topics
Find it!
In this post, I describe the class of finite-height lattices, and prove that lattices we've alread seen are in that class
