Concepedia

Fabian Ruch

FR

Statistics

Publications

2

Citations

33

H-Index

2

Active since

2017

Affiliations

IT University of Copenhagen(Current)

Fabian Ruch is an author at IT University of Copenhagen specializing in formal methods, automated reasoning, and semantics.

ORCID

Top concepts

Publications per year

2017–2022

2

Publications

2

Stack semantics of type theory

Thierry Coquand, Bassel Mannaa, Fabian Ruch · 2017 · 23 citations · Full text

, , +11

Normalization for fitch-style modal calculi

Nachiappan Valliappan, Fabian Ruch, Carlos Tomé Cortiñas · Proceedings of the ACM on Programming Languages · 2022 · 10 citations · Full text

1–2 of 2