Fabian Ruch

According to our database¹, Fabian Ruch authored at least 3 papers between 2017 and 2022.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2022

Normalization for fitch-style modal calculi.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2022

2021

Constructive sheaf models of type theory.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2021

2017

Stack semantics of type theory.

[BibT_eX]

[DOI]

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017