Thyselius

Identifiers

• name variant Thyselius 0.60 · backfill

Papers (1)

1. Constructing categories and setoids of setoids in type theory math.LO · 2014 · author #4

Mentions

• 1408.1364 #4 · backfill · confidence 0.70 Thyselius

Frequent Coauthors

• Erik Palmgren (Department of Mathematics 1 shared papers
• Olov Wilander (Sj\"oland 1 shared papers
• Stockholm 1 shared papers
• Stockholm University) 1 shared papers
• Sweden) 1 shared papers