Elisabeth Stenholm

Identifiers

• name variant Elisabeth Stenholm 0.60 · backfill

Papers (1)

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

Mentions

• 2001.06696 #2 · arxiv_oai · confidence 0.70 Elisabeth Stenholm

Frequent Coauthors

• H{\aa}kon Robbestad Gylterud 1 shared papers
• Niccol\`o Veltri 1 shared papers