Erik Palmgren (Department of Mathematics

Identifiers

No identifiers captured yet.

Papers (1)

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

Mentions

No mention provenance yet.

Frequent Coauthors

• Olov Wilander (Sj\"oland 1 shared papers
• Stockholm 1 shared papers
• Stockholm University) 1 shared papers
• Sweden) 1 shared papers
• Thyselius 1 shared papers