In this post, I describe the class of finite-height lattices, and prove that lattices we've alread seen are in that class| danilafe.com
In this post, I describe how lattices can be combined to create other, more complex lattices| danilafe.com
In this post, I introduce an algebraic structure called a lattice, which underpins certain program analyses| danilafe.com
A fixed point is a point that does not change upon application of a map, system of differential equations, etc. In particular, a fixed point of a function f(x) is a point x_0 such that f(x_0)=x_0. (1) The fixed point of a function f starting from an initial value x can be computed in the Wolfram Language using FixedPoint[f, x]. Similarly, to get a list of the values obtained by iterating the function until a fixed point is reached, the command FixedPointList[f, x] can be used. The...| mathworld.wolfram.com
Dependent types| agda.readthedocs.io
Table of Contents| danilafe.com
Table of Contents| danilafe.com