Editorial Preface
Special Issue on Theory and Applications of Models of Computation TAMC 2022
-
- Published online by Cambridge University Press:
- 07 May 2024, p. 161
-
- Article
-
- You have access
- HTML
- Export citation
Paper
A concrete model for a typed linear algebraic lambda calculus
-
- Published online by Cambridge University Press:
- 21 November 2023, pp. 1-44
-
- Article
- Export citation
Fixed point logics and definable topological properties
-
- Published online by Cambridge University Press:
- 13 December 2023, pp. 81-97
-
- Article
- Export citation
Special Issue: TAMC 2022
Stochastic linearized generalized alternating direction method of multipliers: Expected convergence rates and large deviation properties
-
- Published online by Cambridge University Press:
- 14 March 2023, pp. 162-179
-
- Article
- Export citation
Paper
The order-K-ification monads
-
- Published online by Cambridge University Press:
- 21 December 2023, pp. 45-62
-
- Article
- Export citation
A point-free perspective on lax extensions and predicate liftings
-
- Published online by Cambridge University Press:
- 01 December 2023, pp. 98-127
-
- Article
- Export citation
Special Issue: TAMC 2022
Approximation Algorithm and FPT Algorithm for Connected-k-Subgraph Cover on Minor-Free Graphs
-
- Published online by Cambridge University Press:
- 10 January 2024, pp. 180-192
-
- Article
- Export citation
Paper
A construction of free dcpo-cones
-
- Published online by Cambridge University Press:
- 10 January 2024, pp. 63-79
-
- Article
- Export citation
Learning quantum finite automata with queries
-
- Published online by Cambridge University Press:
- 30 November 2023, pp. 128-146
-
- Article
- Export citation
Erratum
Two-level type theory and applications - ERRATUM
-
- Published online by Cambridge University Press:
- 10 July 2023, p. 80
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Special Issue: TAMC 2022
An approximation algorithm for the $\boldsymbol{K}$-prize-collecting multicut problem in trees with submodular penalties
-
- Published online by Cambridge University Press:
- 17 April 2024, pp. 193-210
-
- Article
- Export citation
Paper
Discrete equational theories
-
- Published online by Cambridge University Press:
- 22 January 2024, pp. 147-160
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Special Issue: TAMC 2022
Two-stage submodular maximization problem beyond nonnegative and monotone
-
- Published online by Cambridge University Press:
- 16 November 2021, pp. 211-226
-
- Article
- Export citation
Constrained read-once refutations in UTVPI constraint systems: A parallel perspective
-
- Published online by Cambridge University Press:
- 11 September 2023, pp. 227-243
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
A set-theoretic approach to algebraic L-domains
-
- Published online by Cambridge University Press:
- 11 April 2024, pp. 244-257
-
- Article
- Export citation