Scholar
Dominik Kirst
Google Scholar ID: 2gPhDLEAAAAJ
MSCA Postdoctoral Fellow, Inria Paris
computational logic
constructive type theory
axiomatic set theory
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
474
H-index
11
i10-index
12
Publications
20
Co-authors
0
Publications
3 items
Blurred Drinker Paradoxes and Blurred Choice Axioms: Constructive Reverse Mathematics of the Downward L\"owenheim-Skolem Theorem
2026
Cited
0
From Partial to Monadic: Combinatory Algebra with Effects
2025
Cited
1
Syntactic Effectful Realizability in Higher-Order Logic
2025
Cited
0
