default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMathematical 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, Maria Chiara Meo, Francesca Scozzari:
The role of linearity in sharing analysis. 44-110 - Chong Shen, Xiaoyong Xi, Xiaoquan Xu, Dongsheng Zhao:
Hofmann-Mislove type definitions of non-Hausdorff spaces. 111-124
Volume 32, Number 2, February 2022
- Angsheng Li, Jianer Chen, Qilong Feng, Jinhui Xu:
Preface. 125-126
- Longchun Wang, Qingguo Li:
Consistent disjunctive sequent calculi and Scott domains. 127-150 - Chunying Ren, Dachuan Xu, Donglei Du, Min Li:
An improved primal-dual approximation algorithm for the k-means problem with penalties. 151-163 - Nikolay Bazhenov, Manat Mustafa, Sergei Ospichev:
Rogers semilattices of punctual numberings. 164-188 - Henning Fernau, Jens Bruchertseifer:
Synchronizing words and monoid factorization, yielding a new parameterized complexity class? 189-215 - Bugra Çaskurlu, Özgün Ekici, Fatih Erdem Kizilkaya:
On existence of equilibrium under social coalition structures. 216-239 - Xin He, Huaming Zhang, Yijie Han:
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, Stephen Lack, Guy McCusker:
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, Jirí Velebil:
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, Soichiro Fujii:
Hom weak ω-categories of a weak ω-category. 420-441 - Claudio Hermida, Uday S. Reddy, Edmund Robinson, Alessio Santamaria:
Bisimulation as a logical relation. 442-471 - Alejandro Aguirre, Shin-ya Katsumata, Satoshi Kura:
Weakest preconditions in fibrations. 472-510 - Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi:
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, Marie-Andrée Jacob-Da Col, Laurent Fuchs, Nicolas Magaud, Gaëlle Skapin:
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, Steffen Jost:
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, David Obwaller, Georg Moser, Florian Zuleger:
Type-based analysis of logarithmic amortised complexity. 794-826
Volume 32, Number 7, August 2022
- Mauricio Ayala-Rincón, Samuel Mimram:
Introduction to the special issue: Confluence. 827-828
- Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi:
String diagram rewrite theory III: Confluence with and without Frobenius. 829-869 - Cyrille Chenavier, Benjamin Dupont, Philippe Malbos:
Confluence of algebraic rewriting systems. 870-897 - Gilles Dowek, Gaspard Férey, Jean-Pierre Jouannaud, Jiaxiang Liu:
Confluence of left-linear higher-order rewrite theories by checking their nested critical pairs. 898-933 - Claudia Faggian, Giulio Guerrieri, Ugo de'Liguoro, Riccardo Treglia:
On reduction and normalization in the computational core. 934-981 - Nicolai Kraus, Jakob von Raumer:
A rewriting coherence theorem with applications in homotopy type theory. 982-1014 - Koji Nakazawa, Ken-etsu Fujita, Yuta Imagawa:
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, Karim Nour:
Normalization in the simply typed λμμ'ρθε-calculus. 1066-1098 - Xiaoquan Xu, Meng Bao, Xiaoyuan Zhang:
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, Marcelo Finger:
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, Elaine Pimentel:
A linear logic framework for multimodal logics. 1176-1204 - Favio Ezequiel Miranda-Perea, Lourdes Del Carmen González-Huesca, Pilar Selene Linares-Arévalo:
A dual-context sequent calculus for the constructive modal logic S4. 1205-1233 - Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa:
Weighted synchronous automata. 1234-1253 - Vivek Nigam, Minyoung Kim, Ian A. Mason, Carolyn L. Talcott:
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, Jonathan Gallagher, Jean-Simon Pacaud Lemay, Dorette Pronk:
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-11-15 19:22 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:
