Olov Wilander (Sj\"oland
Identifiers
- name variant Olov Wilander (Sj\"oland 0.60 · backfill
Papers (1)
- Constructing categories and setoids of setoids in type theory math.LO · 2014 · author #3
Mentions
- 1408.1364 #3 · backfill · confidence 0.70 Olov Wilander (Sj\"oland
Frequent Coauthors
- Erik Palmgren (Department of Mathematics 1 shared papers
- Stockholm 1 shared papers
- Stockholm University) 1 shared papers
- Sweden) 1 shared papers
- Thyselius 1 shared papers