Fabian Ruch

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 5

Top Topics

Reasoning Problems

Model Theoretic

Theoretical Framework

Sequent Calculi

Top Venues

Proc. ACM Program. Lang.

Math. Struct. Comput. Sci.

Publications

Nachiappan Valliappan, Fabian Ruch, Carlos Tomé Cortiñas
Normalization for Fitch-Style Modal Calculi. CoRR (2022)
Nachiappan Valliappan, Fabian Ruch, Carlos Tomé Cortiñas
Normalization for fitch-style modal calculi. Proc. ACM Program. Lang. 6 (ICFP) (2022)
Thierry Coquand, Fabian Ruch, Christian Sattler
Constructive sheaf models of type theory. Math. Struct. Comput. Sci. 31 (9) (2021)
Thierry Coquand, Bassel Mannaa, Fabian Ruch
Stack semantics of type theory. LICS (2017)
Thierry Coquand, Bassel Mannaa, Fabian Ruch
Stack Semantics of Type Theory. CoRR (2017)