1 citations · 2 across the 5 of their papers we have counts for
1 paper · 1 filter
Genta Ito
We present a construction of a certain infinite complete partial order (CPO) that differs from the standard construction used in Scott's denotational semantics. In addition, we con…