H{\aa}kon Robbestad Gylterud

Identifiers

• name variant H{\aa}kon Robbestad Gylterud 0.60 · backfill

Papers (1)

1. Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory math.LO · 2020 · author #1

Mentions

• 2001.06696 #1 · arxiv_oai · confidence 0.70 H{\aa}kon Robbestad Gylterud

Frequent Coauthors

• Elisabeth Stenholm 1 shared papers
• Niccol\`o Veltri 1 shared papers