Containers for GUI Models. - Knut Anders Stokke; Mikhail Barash; Jaakko Järvi; Elisabeth Stenholm; Håkon Robbestad Gylterud (Programming, 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)