首页>外文期刊>计算机、自动化>计算技术、计算机技术>Mathematical structures in computer science

Mathematical structures in computer science

Mathematical structures in computer science

SCIEI

中文名称：计算机科学中的数学结构

ISSN：0960-1295
出版周期：4 times a year

发文量：749

期刊论文

年度选择

2023
- 第1期
- 第2期
- 第3期
- 第5期
- 第6期
- 第7期
- 第8期
2022
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
- 第7期
- 第8期
- 第9期
- 第10期
2021
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
- 第7期
- 第8期
- 第9期
- 第10期
2020
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
- 第7期
- 第8期
- 第9期
- 第10期
2019
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
- 第7期
- 第8期
- 第9期
- 第10期
2018
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
- 第7期
- 第8期
- 第9期
- 第10期
2017
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
- 第7期
- 第8期
2016
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
- 第7期
- 第8期
2015
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
- 第7期
- 第8期
2014
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2013
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2012
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2011
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2010
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2009
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2008
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2007
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2006
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2005
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2004
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2003
- 第1期
- 第2期
- 第4期
- 第6期
2002
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2001
- 第1期
- 第2期
- 第3期
- 第4期
- 第6期
1999
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
1998
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
1997
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
1996
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
1995
- 第1期
- 第2期
- 第3期
- 第4期

更多>>

全选（0）

1.Strictifying and taming directed paths in Higher Dimensional Automata

机译：以高维自动机构的缩小和驯化定向路径
- 作者：Martin Raussen
- 期刊名称：《Mathematical structures in computer science》 | 2021年第2期
- Higher Dimensional Automata;
- d-path;
- strict;
- tame;
- serial;
- parallel;
- homotopy equivalence;
- nerve lemma;
2.A focused linear logical framework and its application to metatheory of object logics

机译：一个聚焦的线性逻辑框架及其在对象逻辑的核解中的应用
- 作者：Amy Felty;Carlos Olarte;Bruno Xavier
- 期刊名称：《Mathematical structures in computer science》 | 2021年第3期
- Linear logic;
- cut-elimination;
- focusing;
- Coq;
3.Formalising nominal C-unification generalised with protected variables

机译：正式化标称C-Unifization通过受保护的变量推广
- 作者：Mauricio Ayala-Rincon;Washington de Carvalho-Segundo;Maribel Fernandez;Gabriel Ferreira Silva;Daniele Nantes-Sobrinho
- 期刊名称：《Mathematical structures in computer science》 | 2021年第3期
- Nominal unification;
- nominal matching;
- commutative theory;
- C-unification;
- formal methods;
- Coq;
- PVS;
4.Formalization ofmetatheory of the Lambda Calculus in constructive type theory using the Barendregt variable convention

机译：使用Barendregt可变惯例的建设性型理论中λ微积分的形式化
- 作者：Ernesto Copello;Nora Szasz;Alvaro Tasistro
- 期刊名称：《Mathematical structures in computer science》 | 2021年第3期
- Formalized metatheory;
- nominal syntax;
- Lambda Calculus;
- constructive type theory;
- proof assistants;
5.Preface to special issue: LSFA 2017 and 2018

机译：特别问题的前言：2017年和2018年LSFA
- 作者：Sandra Alves;Renata Wassermann
- 期刊名称：《Mathematical structures in computer science》 | 2021年第3期
6.Quasi-Nelson algebras and fragments

机译：准纳尔逊代数和碎片
- 作者：Umberto Rivieccio;Ramon Jansana
- 期刊名称：《Mathematical structures in computer science》 | 2021年第3期
7.Rogers semilattices of punctual numberings

机译：Rogers semilattices of punctual numberings
- 作者：Bazhenov Nikolay;Mustafa Manat;Ospichev Sergei
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 2022年第2期
- Theory of numberings;
- upper semilattice;
- Rogers semilattice;
- primitive recursion;
- Friedberg numbering;
- decidability;
- online computation;
- punctual structure;
8.Reducing intersection types, and explicit substitutions

机译：Reducing intersection types, and explicit substitutions
- 作者：Dan Dougherty;Pierre Lescanne
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 2003年第1期
9.Obsessional experiments for linear logic proof-nets

机译：Obsessional experiments for linear logic proof-nets
- 作者：Lorenzo Tortora de Falco
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 2003年第6期
10.Introduction to Special Issue: Intersection types-new insights

机译：Introduction to Special Issue: Intersection types-new insights
- 作者：Mariangiola Dezani-Ciancaglini;Simona Ronchi Della Rocca
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 2003年第1期
11.! and ? - Storage as tensorial strength

机译：! and ? - Storage as tensorial strength
- 作者：R. F. Blute;J. R. B. Cockett;R. A. G. Seely
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 1996年第4期
12.Modular control-flow analysis with rank 2 intersection types

机译：Modular control-flow analysis with rank 2 intersection types
- 作者：Anindya Banerjee;Thomas Jensen
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 2003年第1期
13.Synchronizing words and monoid factorization, yielding a new parameterized complexity class?

机译：Synchronizing words and monoid factorization, yielding a new parameterized complexity class?
- 作者：Fernau Henning;Bruchertseifer Jens
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 2022年第2期
- Synchronizing word;
- deterministic finite automaton (DFA);
- parameterized complexity;
- Monoid Factorization;
- WSync;
- MINIMUM-LENGTH;
- RESET WORDS;
- AUTOMATA;
14.Functional completeness of the free locally cartesian closed category and interpretations of Martin-Lof's theory of dependent types

机译：Functional completeness of the free locally cartesian closed category and interpretations of Martin-Lof's theory of dependent types
- 作者：A. Preller;G. Simonet
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 1996年第4期
15.On existence of equilibrium under social coalition structures

机译：论社会联合结构下均衡的存在
- 作者：Caskurlu Bugra;Ekici Ozgun;Kizilkaya Fatih Erdem
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 2022年第2期
- Existence of equilibrium;
- resource selection games;
- coalition structures;
- PROOF NASH EQUILIBRIA;
- STRATEGY;
- GAMES;
16.Intersection types and λ-definability

机译：Intersection types and λ-definability
- 作者：Antonio Bucciarelli;Adolfo Piperno;Ivano Salvo
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 2003年第1期
17.A general framework for the semantics of type theory

机译：A general framework for the semantics of type theory
- 作者：Taichi Uemura
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 2023年第3期
- Dependent type theory;
- Natural model;
- Category with families;
- Logical framework;
- Representable map;
- Representable map category;
18.On Petrie cycle and Petrie tour partitions of 3-and 4-regular plane graphs

机译：在 Petrie 循环和 Petrie 游程中，3 和 4 正则平面图的分区
- 作者：He Xin;Zhang Huaming;Han Yijie
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 2022年第2期
- Plane graph;
- Petrie cycles;
- Petrie tours;
- left-right paths;
19.A simple proof of the undecidability of strong normalization

机译：A simple proof of the undecidability of strong normalization
- 作者：Pawel Urzyczyn
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 2003年第1期
20.Mirror, mirror in my hand: a duality between specifications and models of process behaviour

机译：Mirror, mirror in my hand: a duality between specifications and models of process behaviour
- 作者：J. L. Fiadeiro;J. F. Costa
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 1996年第4期
21.Diagrammatic specifications

机译：Diagrammatic specifications
- 作者：Dominique Duval
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 2003年第6期
22.Preface

机译：Preface
- 作者：Li Angsheng;Chen Jianer;Feng QilongXu Jinhui
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 2022年第2期
23.Reflexive objects In topological categories

机译：Reflexive objects In topological categories
- 作者：Michael D. Rice
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 1996年第4期
24.Local Yoneda completions of quasi-metric spaces

机译：Local Yoneda completions of quasi-metric spaces
- 作者：Jing Lu;Bin Zhao
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 2023年第1期
- Quasi-metric space;
- local Yoneda-complete quasi-metric space;
- g-topology;
25.Generalized geometric theories and set-generated classes

机译：Generalized geometric theories and set-generated classes
- 作者：Aczel Peter;Ishihara Hajime;Nemoto TakakoSangu Yasushi
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 2015年第7期
26.Fusion in relational structures and the verification of monadic second-order properties

机译：Fusion in relational structures and the verification of monadic second-order properties
- 作者：B. Courcelle;J. A. Makowsky
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 2002年第2期
27.General synthetic domain theory - a logical approach

机译：General synthetic domain theory - a logical approach
- 作者：Bernhard Reus;Thomas Streicher
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 1999年第2期
28.On categories generalizing universal domains

机译：On categories generalizing universal domains
- 作者：Vera Trnkova;Jiri Velebil
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 1999年第2期
29.An algebraic representation of the fixed-point closure of *-continuous Kleene algebras - A categorical Chomsky-Schutzenberger theorem

机译：An algebraic representation of the fixed-point closure of *-continuous Kleene algebras - A categorical Chomsky-Schutzenberger theorem
- 作者：Leiss Hans
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 2022年第6期
30.Semantic analysis of normalisation by evaluation for typed lambda calculus

机译：Semantic analysis of normalisation by evaluation for typed lambda calculus
- 作者：Fiore Marcelo
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 2022年第8期
31.Type-based analysis of logarithmic amortised complexity

机译：Type-based analysis of logarithmic amortised complexity
- 作者：Hofmann Martin;Leutgeb Lorenz;Obwaller DavidMoser GeorgZuleger Florian
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 2022年第6期
32.Kolmogorov complexity and the geometry of Brownian motion

机译：Kolmogorov complexity and the geometry of Brownian motion
- 作者：Fouche Willem L.
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 2015年第7期
33.Exact flow analysis

机译：Exact flow analysis
- 作者：Christian Mossin
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 2003年第1期
34.Normalization in the simply typed ${lambda mu mu '}rho theta varepsilon$ -calculus

机译：Normalization in the simply typed ${lambda mu mu '}rho theta varepsilon$ -calculus
- 作者：Battyányi Péter;Nour Karim
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 2022年第8期
- λμ-calculus;
- classical logic;
- strong normalization;
- weak normalization;
- normalization algorithm;
35.String and graph reduction systems for gene assembly in ciliates

机译：String and graph reduction systems for gene assembly in ciliates
- 作者：Andrzej Ehrenfeucht;Ion Petre;David M. PrescottGrzegorz Rozenberg
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 2002年第2期
36.Consistent disjunctive sequent calculi and Scott domains

机译：Consistent disjunctive sequent calculi and Scott domains
- 作者：Wang Longchun;Li Qingguo
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 2022年第2期
- Consistent disjunctive sequent calculus;
- Scott domain;
- categorical equivalence;
- fixed point;
- domain equation;
- INFORMATION-SYSTEMS;
37.On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces

机译：On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces
- 作者：Daniele Turi;Jan Rutten
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 1998年第5期
38.On the bisimulation proof method

机译：On the bisimulation proof method
- 作者：Davide Sangiorgi
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 1998年第5期
39.The call-by-value #lambda#-calculus: a semantic investigation

机译：The call-by-value #lambda#-calculus: a semantic investigation
- 作者：Alberto Pravato;Simona Ronchi della Rocca;Luca Roversi
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 1999年第5期
40.Bicategories in univalent foundations

机译：Bicategories in univalent foundations
- 作者：Benedikt Ahrens;Dan Frumin;Marco MaggesiNiccolò VeltriNiels van der Weide
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 2021年第10期
- Bicategory theory;
- univalent mathematics;
- dependent type theory;
- Coq;
41.A constructive interpretation of Ramsey's theorem via the product of selection functions

机译：A constructive interpretation of Ramsey's theorem via the product of selection functions
- 作者：Oliva Paulo;Powell Thomas
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 2015年第8期
42.A polynomial-time algorithm for deciding bisimulation equivalence of normed Basic Parallel Processes

机译：A polynomial-time algorithm for deciding bisimulation equivalence of normed Basic Parallel Processes
- 作者：Yoram Hirshfeld;Mark Jerrum;Faron Moller
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 1996年第3期
43.Type reconstruction in F_ω

机译：Type reconstruction in F_ω
- 作者：Pawel Urzyczyn
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 1997年第4期
44.From #lambda# to #pi#; or, Rediscovering continuations

机译：From #lambda# to #pi#; or, Rediscovering continuations
- 作者：Davide Sangiorgi
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 1999年第4期
45.On the existence of n but not n + 1 easy combinators

机译：On the existence of n but not n + 1 easy combinators
- 作者：Rick Statman
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 1999年第4期
46.On the semantics of place/transition Petri nets

机译：On the semantics of place/transition Petri nets
- 作者：Jose Meseguer;VLADIMIRO SASSONE
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 1997年第4期
47.Synthetic topology in Homotopy Type Theory for probabilistic programming

机译：Synthetic topology in Homotopy Type Theory for probabilistic programming
- 作者：Martin E. Bidlingmaier;Florian Faissole;Bas Spitters
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 2021年第10期
- probabilistic programming;
- categorical semantics;
- homotopy type theory;
- topology;
48.Some hierarchies of QCB(0)-spaces

机译：Some hierarchies of QCB(0)-spaces
- 作者：Schroeder Matthias;Selivanov Victor
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 2015年第8期
49.Implicit computation complexity in higher-order programming languages A Survey in Memory of Martin Hofmann

机译：Implicit computation complexity in higher-order programming languages A Survey in Memory of Martin Hofmann
- 作者：Dal Lago U.
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 2022年第6期
- Lambda calculus;
- linear logic;
- type systems;
- computational complexity;
- LAMBDA-CALCULUS;
- LINEAR LOGIC;
- OPTIMAL REDUCTION;
- SAFE RECURSION;
- LIGHT LOGICS;
- COMPLETENESS;
- FEASIBILITY;
- SEMANTICS;
- GEOMETRY;
- MODELS;
50.Intersection types and bounded polymorphism

机译：Intersection types and bounded polymorphism
- 作者：Benjamin C. Pierce
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 1997年第2期
51.On quantum lambda calculi: a foundational perspective

机译：On quantum lambda calculi: a foundational perspective
- 作者：Zorzi Margherita
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 2016年第7期
52.Constructive decidability of classical continuity

机译：Constructive decidability of classical continuity
- 作者：Escardo Martin
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 2015年第7期
53.The logic of linear functors

机译：The logic of linear functors
- 作者：R. Blute;J. R. B. Cockett;R. A. G. Seely
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 2002年第4期
54.Axiomatizing permutation equivalence

机译：Axiomatizing permutation equivalence
- 作者：Cosimo Laneve;Ugo Montanari
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 1996年第3期
55.The structure of interlaced bilattices

机译：The structure of interlaced bilattices
- 作者：A. Avron
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 1996年第3期
56.On function spaces equipped with Isbell topology and Scott topology

机译：On function spaces equipped with Isbell topology and Scott topology
- 作者：Xu Xiaoquan;Bao Meng;Zhang Xiaoyuan
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 2022年第8期
- Function space;
- Isbell topology;
- Scott topology;
- compact-open topology;
- pointwise convergence topology;
- H-sober space;
57.Impredicativity entails untypedness

机译：Impredicativity entails untypedness
- 作者：Peter Lietz;Thomas Streicher
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 2002年第3期
58.An improved primal-dual approximation algorithm for the k-means problem with penalties

机译：An improved primal-dual approximation algorithm for the k-means problem with penalties
- 作者：Ren Chunying;Xu Dachuan;Du DongleiLi Min
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 2022年第2期
- K-means problem with penalties;
- linear program;
- approximation algorithm;
- JV algorithm;
- LOCAL SEARCH YIELDS;
- FACILITY LOCATION;
59.Appendix: Separability of tensor in Chu Categories of vector spaces

机译：Appendix: Separability of tensor in Chu Categories of vector spaces
- 作者：Michael Barr
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 1996年第2期
60.Special issue on homotopy type theory 2019

机译：Special issue on homotopy type theory 2019
- 作者：Dan Licata;Peter LeFanu Lumsdaine
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 2021年第10期
- intersection;
- International;
- conference;
61.Locus Solum: From the rules of logic to the logic of rules

机译：Locus Solum: From the rules of logic to the logic of rules
- 作者：Jean-Yves Girard
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 2001年第3期
62.Borel and Hausdorff hierarchies in topological spaces of Choquet games and their effectivization

机译：Borel and Hausdorff hierarchies in topological spaces of Choquet games and their effectivization
- 作者：Becher Veronica;Grigorieff Serge
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 2015年第7期
63.Wadge-like reducibilities on arbitrary quasi-Polish spaces

机译：Wadge-like reducibilities on arbitrary quasi-Polish spaces
- 作者：Ros Luca Motto;Schlicht Philipp;Selivanov Victor
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 2015年第8期
64.Univalent categories of modules

机译：Univalent categories of modules
- 作者：Jarl G. Taxeras Flaten
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 2023年第2期
- Homotopy type theory;
- homological algebra;
- Grothendieck category;
65.A domain-theoretic framework for robustness analysis of neural networks

机译：A domain-theoretic framework for robustness analysis of neural networks
- 作者：Can Zhou;Razin A. Shaikh;Yiran LiAmin Farjudian
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 2023年第2期
- Domain theory;
- neural network;
- robustness;
- Lipschitz constant;
- Clarke-gradient;
66.Synchrony versus causality in distributed systems

机译：Synchrony versus causality in distributed systems
- 作者：Peters Kirstin;Schicke-Uffmann Jens-Wolfhard;Goltz UrsulaNestmann Uwe
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 2016年第8期
67.Constraint satisfaction algorithms for graph pattern matching

机译：Constraint satisfaction algorithms for graph pattern matching
- 作者：Javier Larrosa;Gabriel Valiente
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 2002年第4期
68.The Katetov construction modified for a T-0-quasi-metric space (vol 159, pg 711, 2012)

机译：The Katetov construction modified for a T-0-quasi-metric space (vol 159, pg 711, 2012)
- 作者：Kuenzi Hans-Peter A.;Sanchis Manuel
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 2015年第8期
69.Non-strict don't care algebras and specifications

机译：Non-strict don't care algebras and specifications
- 作者：Egidio Astesiano;Maura Cerioli
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 1996年第1期
70.An axiomatization of the category of Petri net computations

机译：An axiomatization of the category of Petri net computations
- 作者：Vladimiro Sassone
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 1998年第2期
71.Relating operational and denotational semantics for input/output effects

机译：Relating operational and denotational semantics for input/output effects
- 作者：Roy L. Crole;Andrew D. Gordon
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 1999年第2期
72.Realizability: a historical essay

机译：Realizability: a historical essay
- 作者：Jaap van Oosten
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 2002年第3期
73.Monotone recursive types and recursive data representations in Cedille

机译：Monotone recursive types and recursive data representations in Cedille
- 作者：Christopher Jenkins;Aaron Stump
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 2021年第6期
- Recursive types;
- impredicative encodings;
- Scott encoding;
- recursion schemes;
- CDLE;
74.E-Unification based on Generalized Embedding

机译：E-Unification based on Generalized Embedding
- 作者：Peter Szabo;J?rg Siekmann
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 2021年第8期
- Universal algebra;
- equational theory;
- ordering;
- unification theory;
- E-unification;
- essential unification;
- (homeomorphic);
75.An injection from the Baire space to natural numbers

机译：An injection from the Baire space to natural numbers
- 作者：Bauer Andrej
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 2015年第7期
76.Normal forms for context-free node-rewriting hypergraph grammars

机译：Normal forms for context-free node-rewriting hypergraph grammars
- 作者：Renate Klempien-Hinrichs
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 2002年第2期
77.A quantitative model for simply typed lambda-calculus

机译：A quantitative model for simply typed lambda-calculus
- 作者：Hofmann Martin;Ledent Jeremy
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 2022年第6期
- Resource monoid;
- length spaces;
- quantitative semantics;
- lambda-calculus;
78.Final coalgebras as greatest fixed points in ZF set theory

机译：Final coalgebras as greatest fixed points in ZF set theory
- 作者：Lawrence C. Paulson
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 1999年第5期
79.Symmetric monoidal and cartesian double categories as a semantic framework for tile logic

机译：Symmetric monoidal and cartesian double categories as a semantic framework for tile logic
- 作者：Roberto Bruni;Jose Meseguer;Ugo Montanari
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 2002年第1期
80.Pushout complements for partly total algebras

机译：Pushout complements for partly total algebras
- 作者：Peter Burmeister;Merce Llabres;Francesc Rossello
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 2002年第2期
81.A theory of classes: proofs and models

机译：A theory of classes: proofs and models
- 作者：Barnaby P. Hilken;David E. Rydeheard
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 1997年第2期
82.Positive predicate structures for continuous data

机译：Positive predicate structures for continuous data
- 作者：Korovina Margarita;Kudinov Oleg
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 2015年第8期
83.Universal aspects of probabilistic automata

机译：Universal aspects of probabilistic automata
- 作者：Lutz Schroder;Paulo Mateus
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 2002年第4期
84.Weak inclusion systems

机译：Weak inclusion systems
- 作者：Virgil Emil Cazanescu;Grigore Rosu
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 1997年第2期
85.On session types and polynomial time

机译：On session types and polynomial time
- 作者：Dal Lago Ugo;Di Giamberardino Paolo
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 2016年第8期
86.Preface to the special issue: Computing with infinite data: topological and logical foundations

机译：Preface to the special issue: Computing with infinite data: topological and logical foundations
- 作者：Berger Ulrich;Brattka Vasco;Selivanov VictorSpreen DieterTsuiki Hideki
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 2015年第7期
87.Typing and subtyping for mobile processes

机译：Typing and subtyping for mobile processes
- 作者：Benjamin Pierce;Davide Sangiorgi
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 1996年第5期
88.Naive cubical type theory

机译：Naive cubical type theory
- 作者：Bruno Bentzen
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 2021年第10期
- Cubical type theory;
- naive type theory;
- informal type theory;
- homotopy type theory;
89.Constructive theory of the lower power locale

机译：Constructive theory of the lower power locale
- 作者：M. Bunge;J. Funk
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 1996年第1期
90.Cubicalmethods in homotopy type theory and univalent foundations

机译：Cubicalmethods in homotopy type theory and univalent foundations
- 作者：Anders M?rtberg
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 2021年第10期
- Homotopy type theory;
- univalent foundations;
- cubical type theory;
- cubical set models;
91.Spatiality of countably presentable locales (proved with the Baire category theorem)

机译：Spatiality of countably presentable locales (proved with the Baire category theorem)
- 作者：Heckmann Reinhold
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 2015年第7期
92.Higher-order intersection types and multiple inheritance

机译：Higher-order intersection types and multiple inheritance
- 作者：Adriana B. Compagnoni;Benjamin C. Pierce
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 1996年第5期
93.Termination in a pi-calculus with subtyping

机译：Termination in a pi-calculus with subtyping
- 作者：Cristescu Ioana;Hirschkoff Daniel
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 2016年第8期
94.Stratified polymorphism and primitive recursion

机译：Stratified polymorphism and primitive recursion
- 作者：Norman Danner;Daniel Leivant
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 1999年第4期
95.An intuitionistic set-theoreticalmodel of fully dependent CC~ω

机译：An intuitionistic set-theoreticalmodel of fully dependent CC~ω
- 作者：Masahiro Sato;Jacques Garrigue
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 2023年第1期
- type theory;
- model;
- intuitionistic logic;
96.Minimal realization in bicategories of automata

机译：Minimal realization in bicategories of automata
- 作者：Robert Rosebrugh;N. Sabadini;R. F. C. Walters
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 1998年第2期
97.Subnets of proof-nets in multiplicative linear logic with MIX

机译：Subnets of proof-nets in multiplicative linear logic with MIX
- 作者：Gianluigi Bellin
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 1997年第6期
98.Normalization and the Yoneda embedding

机译：Normalization and the Yoneda embedding
- 作者：Djordje Cubric;Peter Dybjer;Philip Scott
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 1998年第2期
99.A semantics for lambda calculi with resources

机译：A semantics for lambda calculi with resources
- 作者：Gerard Boudol;Pierre-Louis Curien;Carolina Lavatelli
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 1999年第4期
100.Effective metric model theory

机译：Effective metric model theory
- 作者：Pourmahdian Masoud;Tavana Nazanin R.;Didehvar Farzad
- 期刊名称：《Mathematical structures in computer science: MSCS: A journal in the applications of categorical, algebraic and geometric methods in computer science》 | 2015年第8期

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有出版物经营许可证

客服微信
服务号