Takip et
Joakim Öhman
Joakim Öhman
IMDEA Software Institute
imdea.org üzerinde doğrulanmış e-posta adresine sahip
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
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
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–5