Elisabeth Stenholm

Orcid: 0009-0001-5852-9594

According to our database1, Elisabeth Stenholm authored at least 3 papers between 2024 and 2026.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2026
Univalent material set theory.
Ann. Pure Appl. Log., 2026

2024
The category of iterative sets in homotopy type theory and univalent foundations.
Math. Struct. Comput. Sci., 2024

Containers for GUI Models.
Proceedings of the Companion Proceedings of the 8th International Conference on the Art, 2024


  Loading...