Works matching IS 09601295 AND DT 2022 AND VI 32
Results: 44
Monoidal reverse differential categories.
- Published in:
- Mathematical Structures in Computer Science, 2022, v. 32, n. 10, p. 1313, doi. 10.1017/S096012952200038X
- By:
- Publication type:
- Article
From type theory to setoids and back.
- Published in:
- Mathematical Structures in Computer Science, 2022, v. 32, n. 10, p. 1283, doi. 10.1017/S0960129521000189
- By:
- Publication type:
- Article
Preface to Special Issue: LSFA 2019 and 2020.
- Published in:
- 2022
- By:
- Publication type:
- Editorial
On function spaces equipped with Isbell topology and Scott topology.
- Published in:
- Mathematical Structures in Computer Science, 2022, v. 32, p. 1099, doi. 10.1017/S0960129523000014
- By:
- Publication type:
- Article
Weighted synchronous automata.
- Published in:
- Mathematical Structures in Computer Science, 2022, v. 32, n. 9, p. 1234, doi. 10.1017/S0960129522000421
- By:
- Publication type:
- Article
A linear logic framework for multimodal logics.
- Published in:
- Mathematical Structures in Computer Science, 2022, v. 32, n. 9, p. 1176, doi. 10.1017/S0960129522000366
- By:
- Publication type:
- Article
Indexed and fibered structures for partial and total correctness assertions.
- Published in:
- Mathematical Structures in Computer Science, 2022, v. 32, n. 9, p. 1145, doi. 10.1017/S0960129522000275
- By:
- Publication type:
- Article
Detection and diagnosis of deviations in distributed systems of autonomous agents.
- Published in:
- Mathematical Structures in Computer Science, 2022, v. 32, n. 9, p. 1254, doi. 10.1017/S0960129522000251
- By:
- Publication type:
- Article
Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability.
- Published in:
- Mathematical Structures in Computer Science, 2022, v. 32, n. 9, p. 1119, doi. 10.1017/S096012952200010X
- By:
- Publication type:
- Article
A dual-context sequent calculus for the constructive modal logic S4.
- Published in:
- Mathematical Structures in Computer Science, 2022, v. 32, n. 9, p. 1205, doi. 10.1017/S0960129522000378
- By:
- Publication type:
- Article
Normalization in the simply typed ${\lambda \mu \mu '}\rho \theta \varepsilon$ -calculus.
- Published in:
- Mathematical Structures in Computer Science, 2022, v. 32, p. 1066, doi. 10.1017/S096012952200041X
- By:
- Publication type:
- Article
Semantic analysis of normalisation by evaluation for typed lambda calculus.
- Published in:
- Mathematical Structures in Computer Science, 2022, v. 32, p. 1028, doi. 10.1017/S0960129522000263
- By:
- Publication type:
- Article
Introduction to the special issue: Confluence.
- Published in:
- 2022
- By:
- Publication type:
- Editorial
A rewriting coherence theorem with applications in homotopy type theory.
- Published in:
- Mathematical Structures in Computer Science, 2022, v. 32, n. 7, p. 982, doi. 10.1017/S0960129523000026
- By:
- Publication type:
- Article
On reduction and normalization in the computational core.
- Published in:
- Mathematical Structures in Computer Science, 2022, v. 32, n. 7, p. 934, doi. 10.1017/S0960129522000433
- By:
- Publication type:
- Article
Z property for the shuffling calculus.
- Published in:
- Mathematical Structures in Computer Science, 2022, v. 32, n. 7, p. 1015, doi. 10.1017/S0960129522000408
- By:
- Publication type:
- Article
String diagram rewrite theory III: Confluence with and without Frobenius.
- Published in:
- Mathematical Structures in Computer Science, 2022, v. 32, n. 7, p. 829, doi. 10.1017/S0960129522000123
- By:
- Publication type:
- Article
Confluence of left-linear higher-order rewrite theories by checking their nested critical pairs.
- Published in:
- Mathematical Structures in Computer Science, 2022, v. 32, n. 7, p. 898, doi. 10.1017/S0960129522000044
- By:
- Publication type:
- Article
Confluence of algebraic rewriting systems.
- Published in:
- Mathematical Structures in Computer Science, 2022, v. 32, n. 7, p. 870, doi. 10.1017/S0960129521000426
- By:
- Publication type:
- Article
An algebraic representation of the fixed-point closure of *-continuous Kleene algebras – A categorical Chomsky–Schützenberger theorem.
- Published in:
- Mathematical Structures in Computer Science, 2022, v. 32, n. 6, p. 685, doi. 10.1017/S0960129522000329
- By:
- Publication type:
- Article
Preface for the special issue in homage to Martin Hofmann Part 2.
- Published in:
- 2022
- By:
- Publication type:
- Editorial
Implicit computation complexity in higher-order programming languages: A Survey in Memory of Martin Hofmann.
- Published in:
- Mathematical Structures in Computer Science, 2022, v. 32, n. 6, p. 760, doi. 10.1017/S0960129521000505
- By:
- Publication type:
- Article
Two decades of automatic amortized resource analysis.
- Published in:
- Mathematical Structures in Computer Science, 2022, v. 32, n. 6, p. 729, doi. 10.1017/S0960129521000487
- By:
- Publication type:
- Article
A quantitative model for simply typed λ-calculus.
- Published in:
- Mathematical Structures in Computer Science, 2022, v. 32, n. 6, p. 777, doi. 10.1017/S0960129521000256
- By:
- Publication type:
- Article
Type-based analysis of logarithmic amortised complexity.
- Published in:
- Mathematical Structures in Computer Science, 2022, v. 32, n. 6, p. 794, doi. 10.1017/S0960129521000232
- By:
- Publication type:
- Article
Some representations of real numbers using integer sequences.
- Published in:
- Mathematical Structures in Computer Science, 2022, v. 32, n. 5, p. 648, doi. 10.1017/S0960129522000342
- By:
- Publication type:
- Article
Rewriting in Gray categories with applications to coherence.
- Published in:
- Mathematical Structures in Computer Science, 2022, v. 32, n. 5, p. 574, doi. 10.1017/S0960129522000299
- By:
- Publication type:
- Article
Preface to the MSCS Issue 31.1 (2021) Homotopy Type Theory and Univalent Foundations – Part II.
- Published in:
- Mathematical Structures in Computer Science, 2022, v. 32, n. 4, p. 361, doi. 10.1017/S0960129521000451
- By:
- Publication type:
- Article
Syntax and models of Cartesian cubical type theory.
- Published in:
- Mathematical Structures in Computer Science, 2022, v. 32, n. 4, p. 424, doi. 10.1017/S0960129521000347
- By:
- Publication type:
- Article
Model structure on the universe of all types in interval type theory.
- Published in:
- Mathematical Structures in Computer Science, 2022, v. 32, n. 4, p. 392, doi. 10.1017/S0960129520000213
- By:
- Publication type:
- Article
Modal descent.
- Published in:
- Mathematical Structures in Computer Science, 2022, v. 32, n. 4, p. 363, doi. 10.1017/S0960129520000201
- By:
- Publication type:
- Article
The combinator M and the Mockingbird lattice.
- Published in:
- Mathematical Structures in Computer Science, 2022, v. 32, n. 3, p. 271, doi. 10.1017/S0960129522000354
- By:
- Publication type:
- Article
Quantum circuits generating four-qubit maximally entangled states.
- Published in:
- Mathematical Structures in Computer Science, 2022, v. 32, n. 3, p. 257, doi. 10.1017/S0960129522000305
- By:
- Publication type:
- Article
Preserving consistency in geometric modeling with graph transformations.
- Published in:
- Mathematical Structures in Computer Science, 2022, v. 32, n. 3, p. 300, doi. 10.1017/S0960129522000226
- By:
- Publication type:
- Article
Preface.
- Published in:
- 2022
- By:
- Publication type:
- Editorial
On Petrie cycle and Petrie tour partitions of 3- and 4-regular plane graphs.
- Published in:
- Mathematical Structures in Computer Science, 2022, v. 32, n. 2, p. 240, doi. 10.1017/S0960129522000238
- By:
- Publication type:
- Article
On existence of equilibrium under social coalition structures.
- Published in:
- Mathematical Structures in Computer Science, 2022, v. 32, n. 2, p. 216, doi. 10.1017/S0960129522000214
- By:
- Publication type:
- Article
Synchronizing words and monoid factorization, yielding a new parameterized complexity class?
- Published in:
- Mathematical Structures in Computer Science, 2022, v. 32, n. 2, p. 189, doi. 10.1017/S0960129522000184
- By:
- Publication type:
- Article
Rogers semilattices of punctual numberings.
- Published in:
- Mathematical Structures in Computer Science, 2022, v. 32, n. 2, p. 164, doi. 10.1017/S0960129522000093
- By:
- Publication type:
- Article
An improved primal-dual approximation algorithm for the k -means problem with penalties.
- Published in:
- Mathematical Structures in Computer Science, 2022, v. 32, n. 2, p. 151, doi. 10.1017/S0960129521000104
- By:
- Publication type:
- Article
Consistent disjunctive sequent calculi and Scott domains.
- Published in:
- Mathematical Structures in Computer Science, 2022, v. 32, n. 2, p. 127, doi. 10.1017/S0960129521000086
- By:
- Publication type:
- Article
Hofmann-Mislove type definitions of non-Hausdorff spaces.
- Published in:
- Mathematical Structures in Computer Science, 2022, v. 32, n. 1, p. 111, doi. 10.1017/S0960129522000196
- By:
- Publication type:
- Article
The role of linearity in sharing analysis.
- Published in:
- Mathematical Structures in Computer Science, 2022, v. 32, n. 1, p. 44, doi. 10.1017/S0960129522000160
- By:
- Publication type:
- Article
Proof-relevance in Bishop-style constructive mathematics.
- Published in:
- Mathematical Structures in Computer Science, 2022, v. 32, n. 1, p. 1, doi. 10.1017/S0960129522000159
- By:
- Publication type:
- Article