default search action
Mathematical Structures in Computer Science, Volume 32
Volume 32, Number 1, January 2022
- Iosif Petrakis
:
Proof-relevance in Bishop-style constructive mathematics. 1-43 - Gianluca Amato
The role of linearity in sharing analysis. 44-110 - Chong Shen
Hofmann-Mislove type definitions of non-Hausdorff spaces. 111-124
Volume 32, Number 2, February 2022
- Angsheng Li
Preface. 125-126
- Longchun Wang
Consistent disjunctive sequent calculi and Scott domains. 127-150 - Chunying Ren, Dachuan Xu
An improved primal-dual approximation algorithm for the k-means problem with penalties. 151-163 - Nikolay Bazhenov
Rogers semilattices of punctual numberings. 164-188 - Henning Fernau
Synchronizing words and monoid factorization, yielding a new parameterized complexity class? 189-215 - Bugra Çaskurlu
On existence of equilibrium under social coalition structures. 216-239 - Xin He
On Petrie cycle and Petrie tour partitions of 3- and 4-regular plane graphs. 240-256
Volume 32, Number 3, March 2022
- Marc Bataille
Quantum circuits generating four-qubit maximally entangled states. 257-270 - Samuele Giraudo
The combinator M and the Mockingbird lattice. 271-299 - Agnès Arnould, Hakim Belhaouari, Thomas Bellet, Pascale Le Gall, Romain Pascual
Preserving consistency in geometric modeling with graph transformations. 300-347
Volume 32, Number 4, April 2022
- Masahito Hasegawa
A special issue on categorical algebras and computation in celebration of John Power's 60th birthday, part II. 348
- Jirí Adámek, Matej Dostál
A categorical view of varieties of ordered algebras. 349-373 - Richard Garner
The costructure-cosemantics adjunction for comodels for computational effects. 374-419 - Thomas Cottrell
Hom weak ω-categories of a weak ω-category. 420-441 - Claudio Hermida
Bisimulation as a logical relation. 442-471 - Alejandro Aguirre
Weakest preconditions in fibrations. 472-510 - Filippo Bonchi, Fabio Gadducci
String diagram rewrite theory II: Rewriting with symmetric monoidal structure. 511-541 - Makoto Hamana
Complete algebraic semantics for second-order rewriting systems based on abstract syntax with variable binding. 542-573
Volume 32, Number 5, May 2022
- Simon Forest, Samuel Mimram
Rewriting in Gray categories with applications to coherence. 574-647 - Loïc Mazo
Some representations of real numbers using integer sequences. 648-681
Volume 32, Number 6, June 2022
- Jan Hoffmann, Donald Sannella, Ulrich Schöpp
Preface for the special issue in homage to Martin Hofmann Part 2. 682-684
- Hans Leiß
An algebraic representation of the fixed-point closure of *-continuous Kleene algebras - A categorical Chomsky-Schützenberger theorem. 685-728 - Jan Hoffmann
Two decades of automatic amortized resource analysis. 729-759 - Ugo Dal Lago
Implicit computation complexity in higher-order programming languages: A Survey in Memory of Martin Hofmann. 760-776 - Martin Hofmann, Jérémy Ledent
A quantitative model for simply typed λ-calculus. 777-793 - Martin Hofmann, Lorenz Leutgeb
Type-based analysis of logarithmic amortised complexity. 794-826
Volume 32, Number 7, August 2022
- Mauricio Ayala-Rincón
Introduction to the special issue: Confluence. 827-828
- Filippo Bonchi, Fabio Gadducci
String diagram rewrite theory III: Confluence with and without Frobenius. 829-869 - Cyrille Chenavier, Benjamin Dupont
Confluence of algebraic rewriting systems. 870-897 - Gilles Dowek, Gaspard Férey, Jean-Pierre Jouannaud
Confluence of left-linear higher-order rewrite theories by checking their nested critical pairs. 898-933 - Claudia Faggian, Giulio Guerrieri
On reduction and normalization in the computational core. 934-981 - Nicolai Kraus
A rewriting coherence theorem with applications in homotopy type theory. 982-1014 - Koji Nakazawa
Z property for the shuffling calculus. 1015-1027
Volume 32, Number 8, September 2022
- Marcelo Fiore
Semantic analysis of normalisation by evaluation for typed lambda calculus. 1028-1065 - Péter Battyányi
Normalization in the simply typed λμμ'ρθε-calculus. 1066-1098 - Xiaoquan Xu
On function spaces equipped with Isbell topology and Scott topology. 1099-1116
Volume 32, Number 9, October 2022
- Amy P. Felty, Giselle Reis
Preface to Special Issue: LSFA 2019 and 2020. 1117-1118
- Sandro Preto
Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability. 1119-1144 - Uwe Wolter, Alfio Ricardo de Brito Martini, Edward Hermann Haeusler:
Indexed and fibered structures for partial and total correctness assertions. 1145-1175 - Bruno Xavier, Carlos Olarte
A linear logic framework for multimodal logics. 1176-1204 - Favio Ezequiel Miranda-Perea
A dual-context sequent calculus for the constructive modal logic S4. 1205-1233 - Leandro Gomes
Weighted synchronous automata. 1234-1253 - Vivek Nigam
Detection and diagnosis of deviations in distributed systems of autonomous agents. 1254-1282
Volume 32, Number 10, November 2022
- Erik Palmgren
From type theory to setoids and back. 1283-1312 - Geoff S. H. Cruttwell
Monoidal reverse differential categories. 1313-1363
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.
last updated on 2024-12-13 19:01 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: