Thyselius

Identifiers

No identifiers captured yet.

Papers (1)

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

Mentions

No mention provenance yet.

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