Concepedia

Joakim Öhman

JÖ

2

Publications

69

Citations

2

H-Index

2017

Active since

Affiliations

University of Gothenburg(Current)

Chalmers University of Technology

IMDEA Software Institute

Joakim Öhman is an author at University of Gothenburg specializing in formal methods, automated reasoning, and engineering.

ORCID

Top concepts

Publications per year

2017–2018

2

Publications

2

Decidability of conversion for type theory in type theory

Andreas Abel, Joakim Öhman, Andrea Vezzosi · Proceedings of the ACM on Programming Languages · 2017 · 59 citations · Full text

, , +8

Decidability of Conversion for Type Theory in Type Theory

Andreas Abel, Joakim Öhman, Andrea Vezzosi · Symposium on Principles of Programming Languages · 2018 · 10 citations

, , +8

Rows per page

1–2 of 2