Follow
Joakim Öhman
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
632017
Visibility reasoning for concurrent snapshot algorithms
J Öhman, A Nanevski
Proceedings of the ACM on Programming Languages 6 (POPL), 1-30, 2022
62022
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
12017
A general peer-to-peer based distributed computation network
J Petterson, L Schelin, N Wärvik, J Öhman
12014
The system can't perform the operation now. Try again later.
Articles 1–5