Hans-Christoph Kotzsch
Identifiers
- name variant Hans-Christoph Kotzsch 0.60 · backfill
Papers (1)
- Topos Semantics for Higher-Order Modal Logic math.LO · 2014 · author #3
Mentions
- 1403.0020 #3 · backfill · confidence 0.70 Hans-Christoph Kotzsch
Frequent Coauthors
- Kohei Kishida 1 shared papers
- Steve Awodey 1 shared papers