Works matching IS 09601295 AND DT 2019

Results: 53

m -Algebraic lattices in formal concept analysis.

Published in:

Mathematical Structures in Computer Science, 2019, v. 29, n. 10, p. 1556, doi. 10.1017/S0960129519000124

By:

Zhang, Zhongxi;
Li, Qingguo;
Zhang, Nan

Publication type:

Article

The category of implicative algebras and realizability.

Published in:

Mathematical Structures in Computer Science, 2019, v. 29, n. 10, p. 1575, doi. 10.1017/S0960129519000100

By:

Ferrer Santos, Walter;
Malherbe, Octavio

Publication type:

Article

Categorical models of the differential λ-calculus.

Published in:

Mathematical Structures in Computer Science, 2019, v. 29, n. 10, p. 1513, doi. 10.1017/S0960129519000070

By:

Cockett, Robin;
Gallagher, Jonathan

Publication type:

Article

A deterministic rewrite system for the probabilistic λ-calculus.

Published in:

Mathematical Structures in Computer Science, 2019, v. 29, n. 10, p. 1479, doi. 10.1017/S0960129519000045

By:

Leventis, Thomas

Publication type:

Article

Singular value automata and approximate minimization.

Published in:

Mathematical Structures in Computer Science, 2019, v. 29, n. 9, p. 1444, doi. 10.1017/S0960129519000094

By:

Balle, Borja;
Panangaden, Prakash;
Precup, Doina

Publication type:

Article

Decidability of regular language genus computation.

Published in:

Mathematical Structures in Computer Science, 2019, v. 29, n. 9, p. 1428, doi. 10.1017/S0960129519000057

By:

Bonfante, Guillaume;
Deloup, Florian L.

Publication type:

Article

Identity types and weak factorization systems in Cauchy complete categories.

Published in:

Mathematical Structures in Computer Science, 2019, v. 29, n. 9, p. 1411, doi. 10.1017/S0960129519000033

By:

North, Paige Randall

Publication type:

Article

Abstract machines, optimal reduction, and streams.

Published in:

Mathematical Structures in Computer Science, 2019, v. 29, n. 9, p. 1379, doi. 10.1017/S096012951900001X

By:

Lai, Anna Chiara;
Pedicini, Marco;
Piazza, Mario

Publication type:

Article

A special issue on structural proof theory, automated reasoning and computation in celebration of Dale Miller's 60th birthday.

Published in:

2019

By:

Baelde, David;
Felty, Amy;
Nadathur, Gopalan;
Saurin, Alexis

Publication type:

Editorial

Expansion trees with cut.

Published in:

Mathematical Structures in Computer Science, 2019, v. 29, n. 8, p. 1009, doi. 10.1017/S0960129519000069

By:

Aschieri, Federico;
Hetzl, Stefan;
Weller, Daniel

Publication type:

Article

Complexity of translations from resolution to sequent calculus.

Published in:

Mathematical Structures in Computer Science, 2019, v. 29, n. 8, p. 1061, doi. 10.1017/S0960129518000476

By:

REIS, GISELLE;
WOLTZENLOGEL PALEO, BRUNO

Publication type:

Article

Constructing weak simulations from linear implications for processes with private names.

Published in:

Mathematical Structures in Computer Science, 2019, v. 29, n. 8, p. 1275, doi. 10.1017/S0960129518000452

By:

Horne, Ross;
Tiu, Alwen

Publication type:

Article

A general proof certification framework for modal logic.

Published in:

Mathematical Structures in Computer Science, 2019, v. 29, n. 8, p. 1344, doi. 10.1017/S0960129518000440

By:

LIBAL, TOMER;
VOLPE, MARCO

Publication type:

Article

Hybrid linear logic, revisited.

Published in:

Mathematical Structures in Computer Science, 2019, v. 29, n. 8, p. 1151, doi. 10.1017/S0960129518000439

By:

CHAUDHURI, KAUSTUV;
DESPEYROUX, JOËLLE;
OLARTE, CARLOS;
PIMENTEL, ELAINE

Publication type:

Article

Implementing type theory in higher order constraint logic programming.

Published in:

Mathematical Structures in Computer Science, 2019, v. 29, n. 8, p. 1125, doi. 10.1017/S0960129518000427

By:

GUIDI, FERRUCCIO;
SACERDOTI COEN, CLAUDIO;
TASSI, ENRICO

Publication type:

Article

A case study in programming coinductive proofs: Howe's method.

Published in:

Mathematical Structures in Computer Science, 2019, v. 29, n. 8, p. 1309, doi. 10.1017/S0960129518000415

By:

MOMIGLIANO, ALBERTO;
PIENTKA, BRIGITTE;
THIBODEAU, DAVID

Publication type:

Article

On the unification of classical, intuitionistic and affine logics.

Published in:

Mathematical Structures in Computer Science, 2019, v. 29, n. 8, p. 1177, doi. 10.1017/S0960129518000403

By:

LIANG, CHUCK

Publication type:

Article

Deep inference and expansion trees for second-order multiplicative linear logic.

Published in:

Mathematical Structures in Computer Science, 2019, v. 29, n. 8, p. 1030, doi. 10.1017/S0960129518000385

By:

STRAßBURGER, LUTZ

Publication type:

Article

Subexponentials in non-commutative linear logic.

Published in:

Mathematical Structures in Computer Science, 2019, v. 29, n. 8, p. 1217, doi. 10.1017/S0960129518000117

By:

KANOVICH, MAX;
KUZNETSOV, STEPAN;
NIGAM, VIVEK;
SCEDROV, ANDRE

Publication type:

Article

Inhabitation in simply typed lambda-calculus through a lambda-calculus for proof search.

Published in:

Mathematical Structures in Computer Science, 2019, v. 29, n. 8, p. 1092, doi. 10.1017/S0960129518000099

By:

ESPÍRITO SANTO, JOSÉ;
MATTHES, RALPH;
PINTO, LUÍS

Publication type:

Article

A semantics for nabla.

Published in:

Mathematical Structures in Computer Science, 2019, v. 29, n. 8, p. 1250, doi. 10.1017/S0960129518000063

By:

GOUBAULT-LARRECQ, JEAN

Publication type:

Article

Definability in the local structure of the ω -Turing degrees.

Published in:

Mathematical Structures in Computer Science, 2019, p. 927, doi. 10.1017/S0960129519000021

By:

Ganchev, Hristo;
Sariev, Andrey C.

Publication type:

Article

Disintegration and Bayesian inversion via string diagrams.

Published in:

Mathematical Structures in Computer Science, 2019, p. 938, doi. 10.1017/S0960129518000488

By:

Cho, Kenta;
Jacobs, Bart

Publication type:

Article

Domains of commutative C*-subalgebras.

Published in:

Mathematical Structures in Computer Science, 2019, p. 972, doi. 10.1017/S0960129518000464

By:

Heunen, Chris;
Lindenhovius, Bert

Publication type:

Article

Characterizing polynomial Ramsey quantifiers.

Published in:

Mathematical Structures in Computer Science, 2019, v. 29, n. 6, p. 896, doi. 10.1017/S0960129518000397

By:

de Haan, Ronald;
Szymanik, Jakub

Publication type:

Article

Preface.

Published in:

2019

By:

de Paiva, Valeria;
de Queiroz, Ruy

Publication type:

Editorial

Equational properties of fixed-point operations in cartesian categories: An overview.

Published in:

Mathematical Structures in Computer Science, 2019, v. 29, n. 6, p. 909, doi. 10.1017/S0960129518000361

By:

Ésik, Z

Publication type:

Article

Probabilistic logic over equations and domain restrictions.

Published in:

Mathematical Structures in Computer Science, 2019, v. 29, n. 6, p. 872, doi. 10.1017/S096012951800035X

By:

Mordido, Andreia;
Caleiro, Carlos

Publication type:

Article

A public announcement separation logic.

Published in:

Mathematical Structures in Computer Science, 2019, v. 29, n. 6, p. 828, doi. 10.1017/S0960129518000348

By:

Courtault, J.R.;
van Ditmarsch, H.;
Galmiche, D.

Publication type:

Article

Universal properties for universal types in bifibrational parametricity.

Published in:

Mathematical Structures in Computer Science, 2019, v. 29, n. 6, p. 810, doi. 10.1017/S0960129518000336

By:

Ghani, Neil;
Forsberg, Fredrik Nordvall;
Orsanigo, Federico

Publication type:

Article

A generalised quantifier theory of natural language in categorical compositional distributional semantics with bialgebras.

Published in:

Mathematical Structures in Computer Science, 2019, v. 29, n. 6, p. 783, doi. 10.1017/S0960129518000324

By:

Hedges, Jules;
Sadrzadeh, Mehrnoosh

Publication type:

Article

Syllogistic logic with "Most".

Published in:

Mathematical Structures in Computer Science, 2019, v. 29, n. 6, p. 763, doi. 10.1017/S0960129518000312

By:

Endrullis, Jörg;
Moss, Lawrence S.

Publication type:

Article

Proof nets for multiplicative cyclic linear logic and Lambek calculus.

Published in:

Mathematical Structures in Computer Science, 2019, v. 29, n. 6, p. 733, doi. 10.1017/S0960129518000300

By:

Abrusci, V. Michele;
Maieli, Roberto

Publication type:

Article

Unique decomposition of homogeneous languages and application to isothetic regions.

Published in:

Mathematical Structures in Computer Science, 2019, v. 29, n. 5, p. 681, doi. 10.1017/S0960129518000294

By:

HAUCOURT, EMMANUEL;
NININ, NICOLAS

Publication type:

Article

The computational power of timed P systems with active membranes using promoters.

Published in:

Mathematical Structures in Computer Science, 2019, v. 29, n. 5, p. 663, doi. 10.1017/S0960129518000282

By:

LUO, YUEGUO;
TAN, HAIJUN;
ZHANG, YING;
JIANG, YUN

Publication type:

Article

Strategic port graph rewriting: an interactive modelling framework.

Published in:

Mathematical Structures in Computer Science, 2019, v. 29, n. 5, p. 615, doi. 10.1017/S0960129518000270

By:

FERNÁNDEZ, MARIBEL;
KIRCHNER, HÉLÈNE;
PINAUD, BRUNO

Publication type:

Article

Limits in categories of Vietoris coalgebras.

Published in:

Mathematical Structures in Computer Science, 2019, v. 29, n. 4, p. 552, doi. 10.1017/S0960129518000269

By:

HOFMANN, DIRK;
NEVES, RENATO;
NORA, PEDRO

Publication type:

Article

A homotopy-theoretic model of function extensionality in the effective topos.

Published in:

Mathematical Structures in Computer Science, 2019, v. 29, n. 4, p. 588, doi. 10.1017/S0960129518000142

By:

FRUMIN, DAN;
VAN DEN BERG, BENNO

Publication type:

Article

Automorphisms of types in certain type theories and representation of finite groups.

Published in:

Mathematical Structures in Computer Science, 2019, v. 29, n. 4, p. 511, doi. 10.1017/S0960129518000129

By:

SOLOVIEV, SERGEI

Publication type:

Article

Denotational semantics of recursive types in synthetic guarded domain theory.

Published in:

Mathematical Structures in Computer Science, 2019, v. 29, n. 3, p. 465, doi. 10.1017/S0960129518000087

By:

MØGELBERG, RASMUS E.;
PAVIOTTI, MARCO

Publication type:

Article

Realizability in ordered combinatory algebras with adjunction.

Published in:

Mathematical Structures in Computer Science, 2019, v. 29, n. 3, p. 430, doi. 10.1017/S0960129518000075

By:

SANTOS, WALTER FERRER;
GUILLERMO, MAURICIO;
MALHERBE, OCTAVIO

Publication type:

Article

The quantum walk search algorithm: factors affecting efficiency.

Published in:

Mathematical Structures in Computer Science, 2019, v. 29, n. 3, p. 389, doi. 10.1017/S0960129518000051

By:

LOVETT, NEIL B.;
EVERITT, MATTHEW;
HEATH, ROBERT M.;
KENDON, VIV

Publication type:

Article

Semantics-based software watermarking by abstract interpretation.

Published in:

Mathematical Structures in Computer Science, 2019, v. 29, n. 2, p. 339, doi. 10.1017/S0960129518000038

By:

DALLA PREDA, MILA;
PASQUA, MICHELE

Publication type:

Article

Nonflatness and totality.

Published in:

Mathematical Structures in Computer Science, 2019, v. 29, n. 2, p. 309, doi. 10.1017/S0960129518000026

By:

KARÁDAIS, BASIL A.

Publication type:

Article

Integral categories and calculus categories.

Published in:

Mathematical Structures in Computer Science, 2019, v. 29, n. 2, p. 243, doi. 10.1017/S0960129518000014

By:

COCKETT, J. R. B.;
LEMAY, J.-S.

Publication type:

Article

On Banach spaces of sequences and free linear logic exponential modality.

Published in:

Mathematical Structures in Computer Science, 2019, v. 29, n. 2, p. 215, doi. 10.1017/S0960129517000251

By:

SLAVNOV, SERGEY

Publication type:

Article

Preface to special issue: ICTAC 2015.

Published in:

Mathematical Structures in Computer Science, 2019, v. 29, n. 1, p. 1, doi. 10.1017/S0960129518000130

By:

LEUCKER, MARTIN;
PÉREZ, JORGE A.;
RUEDA, CAMILO;
VALENCIA, FRANK D.

Publication type:

Article

Reasoning about knowledge and messages in asynchronous multi-agent systems.

Published in:

Mathematical Structures in Computer Science, 2019, v. 29, n. 1, p. 127, doi. 10.1017/S0960129517000214

By:

KNIGHT, SOPHIA;
MAUBERT, BASTIEN;
SCHWARZENTRUBER, FRANÇOIS

Publication type:

Article

Quotienting the delay monad by weak bisimilarity.

Published in:

Mathematical Structures in Computer Science, 2019, v. 29, n. 1, p. 67, doi. 10.1017/S0960129517000184

By:

CHAPMAN, JAMES;
UUSTALU, TARMO;
VELTRI, NICCOLÒ

Publication type:

Article

Converging from branching to linear metrics on Markov chains.

Published in:

Mathematical Structures in Computer Science, 2019, v. 29, n. 1, p. 3, doi. 10.1017/S0960129517000160

By:

BACCI, GIORGIO;
BACCI, GIOVANNI;
LARSEN, KIM G.;
MARDARE, RADU

Publication type:

Article