Fabian Ruch

Identifiers

• name variant Fabian Ruch 0.60 · backfill

Papers (3)

1. Normalization for Fitch-Style Modal Calculi cs.LO · 2022 · author #2
2. Constructive sheaf models of type theory math.LO · 2019 · author #2
3. Stack Semantics of Type Theory cs.LO · 2017 · author #3

Mentions

• 2207.12807 #2 · arxiv_oai · confidence 0.70 Fabian Ruch
• 1912.10407 #2 · arxiv_oai · confidence 0.70 Fabian Ruch
• 1701.02571 #3 · arxiv_oai · confidence 0.70 Fabian Ruch

Frequent Coauthors

• Thierry Coquand 2 shared papers
• Bassel Mannaa 1 shared papers
• Carlos Tom\'e Corti\~nas 1 shared papers
• Christian Sattler 1 shared papers
• Nachiappan Valliappan 1 shared papers