Fabian Ruch

Orcid: 0000-0003-4662-6511

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

2017
2018
2019
2020
2021
2022
0
1
2
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Normalization for fitch-style modal calculi.
Proc. ACM Program. Lang., 2022

2021
Constructive sheaf models of type theory.
Math. Struct. Comput. Sci., 2021

2017
Stack semantics of type theory.
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017


  Loading...