- Alexandre Miquel
:
Implicative algebras: a new foundation for realizability and forcing. Math. Struct. Comput. Sci. 30(5): 458-510 (2020) - Joe Moeller:
Noncommutative network models. Math. Struct. Comput. Sci. 30(1): 14-32 (2020) - Colin Riba:
Monoidal-closed categories of tree automata. Math. Struct. Comput. Sci. 30(1): 62-117 (2020) - Luis Scoccola:
Nilpotent types and fracture squares in homotopy type theory. Math. Struct. Comput. Sci. 30(5): 511-544 (2020) - James Wallbridge:
Jets and differential linear logic. Math. Struct. Comput. Sci. 30(8): 865-891 (2020) - Longchun Wang, Qingguo Li:
A representation of proper BC domains based on conjunctive sequent calculi. Math. Struct. Comput. Sci. 30(1): 1-13 (2020) - Norihiro Yamada, Samson Abramsky:
Dynamic game semantics. Math. Struct. Comput. Sci. 30(8): 892-951 (2020)
