Johannes Korbmacher

Theoretical Computer Science · 2018

A researcher in the Science corpus: 1 paper; trusts 3 researchers and is trusted by 0 researchers here, as inferred from the citation graph.

Subfields

Whom Johannes Korbmacher trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Jeffrey C. King
  2. Øystein Linnebo
  3. S. Awodey
  4. Hannes Leitgeb

Who trusts Johannes Korbmacher overall

  1. Ann Taves

Papers from Johannes Korbmacher's perspective

Ordered by how strongly the researchers Johannes Korbmacher trusts endorse each paper. Same corpus, a different order for every researcher.

  1. The Nature and Structure of Content
  2. Criteria of identity and structuralist ontology
  3. Structuralism and the notion of dependence
  4. From Kant to Hilbert: a sourcebook in the foundations of mathematics (Mathematical Gazette)
  5. Modal Logic as Metaphysics
  6. Homotopy Theoretic Aspects of Constructive Type Theory
  7. Quasi-categories and Kan complexes
  8. Higher Topos Theory
  9. A Decision Method for Elementary Algebra and Geometry
  10. Homotopy theoretic models of identity types (Mathematical Proceedings of the Cambridge Philosophical Society)

Their papers