Elisabeth Stenholm

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 2

Top Topics

Relational Databases

Computer Science

Statistical Models

Top Venues

Publications

Knut Anders Stokke, Mikhail Barash, Jaakko Järvi, Elisabeth Stenholm, Håkon Robbestad Gylterud
Containers for GUI Models. Programming (2024)
Daniel Gratzer, Håkon Gylterud, Anders Mörtberg, Elisabeth Stenholm
The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations. CoRR (2024)