Math. Struct. Comput. Sci.

Keyphrases

Publications

volume 34, number 1, 2024

volume 34, number 2, 2024

volume 34, number 3, 2024

Juan Zou, Yuhan Zhao, Cuixia Miao, Longchun Wang
A set-theoretic approach to algebraic L-domains. Math. Struct. Comput. Sci. 34 (3) (2024)
Pengcheng Liu, Zhao Zhang, Yingli Ran, Xiaohui Huang
-Subgraph Cover on Minor-Free Graphs. Math. Struct. Comput. Sci. 34 (3) (2024)
Zhicheng Liu, Hong Chang, Ran Ma, Donglei Du, Xiaoyan Zhang
Two-stage submodular maximization problem beyond nonnegative and monotone. Math. Struct. Comput. Sci. 34 (3) (2024)
Jia Hu, Tiande Guo, Congying Han
Stochastic linearized generalized alternating direction method of multipliers: Expected convergence rates and large deviation properties. Math. Struct. Comput. Sci. 34 (3) (2024)
K. Subramani, Piotr Wojciechowski
Constrained read-once refutations in UTVPI constraint systems: A parallel perspective. Math. Struct. Comput. Sci. 34 (3) (2024)
Xiaofei Liu, Weidong Li
An approximation algorithm for the -prize-collecting multicut problem in trees with submodular penalties. Math. Struct. Comput. Sci. 34 (3) (2024)
Dingzhu Du, Chenchen Wu, Ruiqi Yang
Special Issue on Theory and Applications of Models of Computation TAMC 2022. Math. Struct. Comput. Sci. 34 (3) (2024)

volume 33, number 1, 2023

Jing Lu, Bin Zhao
Local Yoneda completions of quasi-metric spaces. Math. Struct. Comput. Sci. 33 (1) (2023)
Masahiro Sato, Jacques Garrigue
An intuitionistic set-theoretical model of fully dependent CC. Math. Struct. Comput. Sci. 33 (1) (2023)
Jonathan Sterling
What should a generic object be? Math. Struct. Comput. Sci. 33 (1) (2023)

volume 33, number 10, 2023

volume 33, number 2, 2023

volume 33, number 3, 2023

Taichi Uemura
A general framework for the semantics of type theory. Math. Struct. Comput. Sci. 33 (3) (2023)

volume 33, number 4-5, 2023

volume 33, number 6, 2023

Amin Farjudian, Eugenio Moggi
Robustness, Scott continuity, and computability. Math. Struct. Comput. Sci. 33 (6) (2023)
Célia Borlido, Mai Gehrke
Substitution Principle and semidirect products. Math. Struct. Comput. Sci. 33 (6) (2023)

volume 33, number 7, 2023

Tom de Jong
Apartness, sharp elements, and the Scott topology of domains. Math. Struct. Comput. Sci. 33 (7) (2023)
Norihiro Yamada
Game semantics of Martin-Löf type theory. Math. Struct. Comput. Sci. 33 (7) (2023)
Tim Lethen
A (machine-oriented) logic based on pattern matching. Math. Struct. Comput. Sci. 33 (7) (2023)

volume 33, number 8, 2023

volume 33, number 9, 2023

Salah M. Elsayed, Keng Meng Ng
Computable soft separation axioms. Math. Struct. Comput. Sci. 33 (9) (2023)
Xiaoquan Xu, Xinpeng Wen, Xiaoyong Xi
Scott topology on Smyth power posets. Math. Struct. Comput. Sci. 33 (9) (2023)
Hualin Miao, Xiaoyong Xi, Qingguo Li, Dongsheng Zhao
Not every countable complete distributive lattice is sober. Math. Struct. Comput. Sci. 33 (9) (2023)

volume 32, number 8, 2022

Marcelo Fiore
Semantic analysis of normalisation by evaluation for typed lambda calculus. Math. Struct. Comput. Sci. 32 (8) (2022)

volume 32, number 9, 2022