121 citations · 229 across the 5 of their papers we have counts for
1 paper · 2 filters
Isar Stubbe
It is common practice in both theoretical computer science and theoretical physics to describe the (static) logic of a system by means of a complete lattice. When formalizing the d…