Joakim Öhman

2016201720182019202020212022202320241 3 11 15 14 11 19 10

Public access

2 articles

0 articles

available

not available

Based on funding mandates

Joakim Öhman

Verified email at imdea.org


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Decidability of conversion for type theory in type theory A Abel, J Öhman, A Vezzosi Proceedings of the ACM on Programming Languages 2 (POPL), 1-29, 2017	70	2017
Visibility reasoning for concurrent snapshot algorithms J Öhman, A Nanevski Proceedings of the ACM on Programming Languages 6 (POPL), 1-30, 2022	8	2022
Decidability of conversion for type theory in type theory. PACMPL 2 (POPL), 23: 1–23: 29 (2018) A Abel, J Öhman, A Vezzosi	4
A logical relation for dependent type theory formalized in agda J Öhman	1	2017
A general peer-to-peer based distributed computation network J Petterson, L Schelin, N Wärvik, J Öhman	1	2014

The system can't perform the operation now. Try again later.

Articles 1–5

Citations per year