Math. Struct. Comput. Sci.

Keyphrases

Publications

volume 32, number 1, 2022

Chong Shen, Xiaoyong Xi, Xiaoquan Xu, Dongsheng Zhao
Hofmann-Mislove type definitions of non-Hausdorff spaces. Math. Struct. Comput. Sci. 32 (1) (2022)
Gianluca Amato, Maria Chiara Meo, Francesca Scozzari
The role of linearity in sharing analysis. Math. Struct. Comput. Sci. 32 (1) (2022)
Iosif Petrakis
Proof-relevance in Bishop-style constructive mathematics. Math. Struct. Comput. Sci. 32 (1) (2022)

volume 32, number 10, 2022

Geoff S. H. Cruttwell, Jonathan Gallagher, Jean-Simon Pacaud Lemay, Dorette Pronk
Monoidal reverse differential categories. Math. Struct. Comput. Sci. 32 (10) (2022)
Erik Palmgren
From type theory to setoids and back. Math. Struct. Comput. Sci. 32 (10) (2022)

volume 32, number 2, 2022

volume 32, number 3, 2022

volume 32, number 4, 2022

volume 32, number 5, 2022

volume 32, number 6, 2022

volume 32, number 7, 2022

volume 32, number 8, 2022

volume 32, number 9, 2022

volume 31, number 9, 2021