Reinhold Heckmann;Michael Huth
-;-
A non-topological view of dcpos as convergence spaces
Theoretical Computer Science - Topology in computer science
Linear types and approximation
Mathematical Structures in Computer Science
L-fuzzy strongest postcondition predicate transformers as L-idempotent linear or affine operators between semimodules of monotonic predicates
Fuzzy Sets and Systems