1 citations · 1 across the 8 of their papers we have counts for
1 paper · 2 filters
Jonathan Sterling
We present a survey of the two-dimensional and tensorial structure of the lifting doctrine in constructive domain theory, i.e. in the theory of directed-complete partial orders (dc…