Klaus Keimel
Identifiers
- name variant Klaus Keimel 0.60 · backfill
Papers (4)
- The Cuntz semigroup and domain theory math.OA · 2016 · author #1
- On the equivalence of state transformer semantics and predicate transformer semantics cs.LO · 2014 · author #1
- Observationally-induced algebras in Domain Theory cs.LO · 2014 · author #2
- Sheaf Representations for Algebraic Systems. A personal historical account math.HO · 2013 · author #1
Mentions
Frequent Coauthors
- Ingo Battenfeld 1 shared papers
- Thomas Streicher 1 shared papers