Olov Wilander (Sj\"oland

Identifiers

• name variant Olov Wilander (Sj\"oland 0.60 · backfill

Papers (1)

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