Hans-Christoph Kotzsch

Identifiers

• name variant Hans-Christoph Kotzsch 0.60 · backfill

Papers (1)

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