Elisabeth Stenholm

Orcid: 0009-0001-5852-9594

According to our database1, Elisabeth Stenholm authored at least 2 papers in 2024.

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

2024
The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations.
CoRR, 2024

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


  Loading...