Elisabeth Stenholm

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

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2026

Univalent material set theory.

Håkon Robbestad Gylterud, Elisabeth Stenholm

Ann. Pure Appl. Log., 2026

2024

The category of iterative sets in homotopy type theory and univalent foundations.

Daniel Gratzer, Håkon Robbestad Gylterud, Anders Mörtberg, Elisabeth Stenholm

Math. Struct. Comput. Sci., 2024

Containers for GUI Models.

Knut Anders Stokke, Mikhail Barash, Jaakko Järvi, Elisabeth Stenholm, Håkon Robbestad Gylterud

Proceedings of the Companion Proceedings of the 8th International Conference on the Art, 2024