Seguir
Joakim Öhman
Joakim Öhman
IMDEA Software Institute
Dirección de correo verificada de imdea.org
Título
Citado por
Citado por
Año
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
712017
Visibility reasoning for concurrent snapshot algorithms
J Öhman, A Nanevski
Proceedings of the ACM on Programming Languages 6 (POPL), 1-30, 2022
82022
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–5