Stop the war!
Остановите войну!
for scientists:
default search action
Mathematical Structures in Computer Science, Volume 34
Volume 34, Number 1, January 2024
- Alejandro Díaz-Caro, Octavio Malherbe:
A concrete model for a typed linear algebraic lambda calculus. 1-44 - Huijun Hou, Hualin Miao, Qingguo Li:
The order-K-ification monads. 45-62 - Yuxu Chen, Hui Kou, Zhenchao Lyu, Xiaolin Xie:
A construction of free dcpo-cones. 63-79 - Danil Annenkov, Paolo Capriotti, Nicolai Kraus, Christian Sattler:
Two-level type theory and applications - ERRATUM. 80
Volume 34, Number 2, February 2024
- David Fernández-Duque, Quentin Gougeon:
Fixed point logics and definable topological properties. 81-97 - Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild:
A point-free perspective on lax extensions and predicate liftings. 98-127 - Daowen Qiu:
Learning quantum finite automata with queries. 128-146 - Jirí Rosický:
Discrete equational theories. 147-160
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.