Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Joakim Öhman

Decidability of Conversion for Type Theory in Type Theory

Proceedings of the ACM on Programming Languages

English