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:

Cruttwell, Geoff;
Gallagher, Jonathan;
Lemay, Jean-Simon Pacaud;
Pronk, Dorette

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:

Wolter, U.E.;
Martini, A.R.;
Häusler, E.H.

Publication type:

Article

Preface to Special Issue: LSFA 2019 and 2020.

Published in:

2022

By:

Felty, Amy;
Reis, Giselle

Publication type:

Editorial

Weighted synchronous automata.

Published in:

Mathematical Structures in Computer Science, 2022, v. 32, n. 9, p. 1234, doi. 10.1017/S0960129522000421

By:

Gomes, Leandro;
Madeira, Alexandre;
Barbosa, Luis Soares

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:

Miranda-Perea, Favio Ezequiel;
González Huesca, Lourdes del Carmen;
Linares Arévalo, Pilar Selene

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:

Xavier, Bruno;
Olarte, Carlos;
Pimentel, Elaine

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:

Palmgren, Erik

Publication type:

Article

Introduction to the special issue: Confluence.

Published in:

2022

By:

Ayala-Rincón, Mauricio;
Mimram, Samuel

Publication type:

Editorial

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:

Preto, Sandro;
Finger, Marcelo

Publication type:

Article

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:

Xu, Xiaoquan;
Bao, Meng;
Zhang, Xiaoyuan

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:

Battyányi, Péter;
Nour, Karim

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:

Fiore, Marcelo

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:

Nigam, Vivek;
Kim, Minyoung;
Mason, Ian;
Talcott, Carolyn

Publication type:

Article

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:

Kraus, Nicolai;
von Raumer, Jakob

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:

Faggian, Claudia;
Guerrieri, Giulio;
de' Liguoro, Ugo;
Treglia, Riccardo

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:

Nakazawa, Koji;
Fujita, Ken-etsu;
Imagawa, Yuta

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:

Bonchi, Filippo;
Gadducci, Fabio;
Kissinger, Aleks;
Sobociński, Paweł;
Zanasi, Fabio

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:

Dowek, Gilles;
Férey, Gaspard;
Jouannaud, Jean-Pierre;
Liu, Jiaxiang

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:

Chenavier, Cyrille;
Dupont, Benjamin;
Malbos, Philippe

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:

Leiß, Hans

Publication type:

Article

Preface for the special issue in homage to Martin Hofmann Part 2.

Published in:

2022

By:

Hoffmann, Jan;
Sannella, Donald;
Schöpp, Ulrich

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:

Dal Lago, U.

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:

Hoffmann, Jan;
Jost, Steffen

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:

Hofmann, Martin;
Ledent, Jérémy

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:

Hofmann, Martin;
Leutgeb, Lorenz;
Obwaller, David;
Moser, Georg;
Zuleger, Florian

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:

Mazo, Loïc;
Da Col-Jacob, Marie-Andrée;
Fuchs, Laurent;
Magaud, Nicolas;
Skapin, Gaëlle

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:

Giraudo, Samuele

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:

Ahrens, Benedikt;
Huber, Simon;
Mörtberg, Anders

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:

Angiuli, Carlo;
Brunerie, Guillaume;
Coquand, Thierry;
Harper, Robert;
Hou, Kuen-Bang;
Licata, Daniel R.

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:

Boulier, Simon;
Tabareau, Nicolas

Publication type:

Article

Modal descent.

Published in:

Mathematical Structures in Computer Science, 2022, v. 32, n. 4, p. 363, doi. 10.1017/S0960129520000201

By:

Cherubini, Felix;
Rijke, Egbert

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:

Forest, Simon;
Mimram, Samuel

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:

Fernau, Henning;
Bruchertseifer, Jens

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:

Arnould, Agnès;
Belhaouari, Hakim;
Bellet, Thomas;
Le Gall, Pascale;
Pascual, Romain

Publication type:

Article

Preface.

Published in:

2022

By:

Li, Angsheng;
Chen, Jianer;
Feng, Qilong;
Xu, Jinhui

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:

He, Xin;
Zhang, Huaming;
Han, Yijie

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:

Caskurlu, Bugra;
Ekici, Özgün;
Kizilkaya, Fatih Erdem

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:

Bataille, Marc

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:

Bazhenov, Nikolay;
Mustafa, Manat;
Ospichev, Sergei

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:

Ren, Chunying;
Xu, Dachuan;
Du, Donglei;
Li, Min

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:

Wang, Longchun;
Li, Qingguo

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:

Shen, Chong;
Xi, Xiaoyong;
Xu, Xiaoquan;
Zhao, Dongsheng

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:

Amato, Gianluca;
Meo, Maria Chiara;
Scozzari, Francesca

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:

Petrakis, Iosif

Publication type:

Article