Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/mscs/mscs31.bht:"
download as .bib file
@article{DBLP:journals/mscs/AdamekFMS21,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Chase Ford and
Stefan Milius and
Lutz Schr{\"{o}}der},
title = {Finitary monads on the category of posets},
journal = {Math. Struct. Comput. Sci.},
volume = {31},
number = {7},
pages = {799--821},
year = {2021},
url = {https://doi.org/10.1017/S0960129521000360},
doi = {10.1017/S0960129521000360},
timestamp = {Fri, 01 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/AdamekFMS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/AhrensFMVW21,
author = {Benedikt Ahrens and
Dan Frumin and
Marco Maggesi and
Niccol{\`{o}} Veltri and
Niels van der Weide},
title = {Bicategories in univalent foundations},
journal = {Math. Struct. Comput. Sci.},
volume = {31},
number = {10},
pages = {1232--1269},
year = {2021},
url = {https://doi.org/10.1017/S0960129522000032},
doi = {10.1017/S0960129522000032},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/AhrensFMVW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/AhrensHM21,
author = {Benedikt Ahrens and
Simon Huber and
Anders M{\"{o}}rtberg},
title = {Preface to the {MSCS} Issue 31.1 {(2021)} Homotopy Type Theory and
Univalent Foundations},
journal = {Math. Struct. Comput. Sci.},
volume = {31},
number = {1},
pages = {1--2},
year = {2021},
url = {https://doi.org/10.1017/S0960129521000244},
doi = {10.1017/S0960129521000244},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/AhrensHM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/AhrensHM21a,
author = {Benedikt Ahrens and
Simon Huber and
Anders M{\"{o}}rtberg},
title = {Preface to the {MSCS} Issue 31.1 {(2021)} Homotopy Type Theory and
Univalent Foundations - Part {II}},
journal = {Math. Struct. Comput. Sci.},
volume = {31},
number = {4},
pages = {361--362},
year = {2021},
url = {https://doi.org/10.1017/S0960129521000451},
doi = {10.1017/S0960129521000451},
timestamp = {Wed, 23 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/AhrensHM21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Altenkirch21,
author = {Thorsten Altenkirch},
title = {Martin Hofmann's contributions to type theory: Groupoids and univalence},
journal = {Math. Struct. Comput. Sci.},
volume = {31},
number = {9},
pages = {953--957},
year = {2021},
url = {https://doi.org/10.1017/S0960129520000316},
doi = {10.1017/S0960129520000316},
timestamp = {Mon, 08 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Altenkirch21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/AlvesW21,
author = {Sandra Alves and
Renata Wassermann},
title = {Preface to special issue: {LSFA} 2017 and 2018},
journal = {Math. Struct. Comput. Sci.},
volume = {31},
number = {3},
pages = {255--256},
year = {2021},
url = {https://doi.org/10.1017/S096012952100044X},
doi = {10.1017/S096012952100044X},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/AlvesW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/AngiuliBCHHL21,
author = {Carlo Angiuli and
Guillaume Brunerie and
Thierry Coquand and
Robert Harper and
Kuen{-}Bang Hou (Favonia) and
Daniel R. Licata},
title = {Syntax and models of Cartesian cubical type theory},
journal = {Math. Struct. Comput. Sci.},
volume = {31},
number = {4},
pages = {424--468},
year = {2021},
url = {https://doi.org/10.1017/S0960129521000347},
doi = {10.1017/S0960129521000347},
timestamp = {Wed, 23 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/AngiuliBCHHL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Ayala-RinconSFS21,
author = {Mauricio Ayala{-}Rinc{\'{o}}n and
Washington de Carvalho Segundo and
Maribel Fern{\'{a}}ndez and
Gabriel Ferreira Silva and
Daniele Nantes{-}Sobrinho},
title = {Formalising nominal C-unification generalised with protected variables},
journal = {Math. Struct. Comput. Sci.},
volume = {31},
number = {3},
pages = {286--311},
year = {2021},
url = {https://doi.org/10.1017/S0960129521000050},
doi = {10.1017/S0960129521000050},
timestamp = {Fri, 21 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/Ayala-RinconSFS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Bentzen21,
author = {Bruno Bentzen},
title = {Naive cubical type theory},
journal = {Math. Struct. Comput. Sci.},
volume = {31},
number = {10},
pages = {1205--1231},
year = {2021},
url = {https://doi.org/10.1017/S096012952200007X},
doi = {10.1017/S096012952200007X},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/Bentzen21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BezemCDE21,
author = {Marc Bezem and
Thierry Coquand and
Peter Dybjer and
Mart{\'{\i}}n Escard{\'{o}}},
title = {On generalized algebraic theories and categories with families},
journal = {Math. Struct. Comput. Sci.},
volume = {31},
number = {9},
pages = {1006--1023},
year = {2021},
url = {https://doi.org/10.1017/S0960129521000268},
doi = {10.1017/S0960129521000268},
timestamp = {Thu, 25 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BezemCDE21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Bidlingmaier21,
author = {Martin E. Bidlingmaier},
title = {An interpretation of dependent type theory in a model category of
locally cartesian closed categories},
journal = {Math. Struct. Comput. Sci.},
volume = {31},
number = {5},
pages = {469--494},
year = {2021},
url = {https://doi.org/10.1017/S0960129521000098},
doi = {10.1017/S0960129521000098},
timestamp = {Wed, 23 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/Bidlingmaier21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BidlingmaierFS21,
author = {Martin E. Bidlingmaier and
Florian Faissole and
Bas Spitters},
title = {Synthetic topology in Homotopy Type Theory for probabilistic programming},
journal = {Math. Struct. Comput. Sci.},
volume = {31},
number = {10},
pages = {1301--1329},
year = {2021},
url = {https://doi.org/10.1017/S0960129521000165},
doi = {10.1017/S0960129521000165},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/BidlingmaierFS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Booij21,
author = {Auke Bart Booij},
title = {Extensional constructive real analysis via locators},
journal = {Math. Struct. Comput. Sci.},
volume = {31},
number = {1},
pages = {64--88},
year = {2021},
url = {https://doi.org/10.1017/S0960129520000171},
doi = {10.1017/S0960129520000171},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Booij21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BoulierT21,
author = {Simon Boulier and
Nicolas Tabareau},
title = {Model structure on the universe of all types in interval type theory},
journal = {Math. Struct. Comput. Sci.},
volume = {31},
number = {4},
pages = {392--423},
year = {2021},
url = {https://doi.org/10.1017/S0960129520000213},
doi = {10.1017/S0960129520000213},
timestamp = {Wed, 23 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/BoulierT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/CherubiniR21,
author = {Felix Cherubini and
Egbert Rijke},
title = {Modal descent},
journal = {Math. Struct. Comput. Sci.},
volume = {31},
number = {4},
pages = {363--391},
year = {2021},
url = {https://doi.org/10.1017/S0960129520000201},
doi = {10.1017/S0960129520000201},
timestamp = {Wed, 23 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/CherubiniR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/CopelloST21,
author = {Ernesto Copello and
Nora Szasz and
{\'{A}}lvaro Tasistro},
title = {Formalization of metatheory of the Lambda Calculus in constructive
type theory using the Barendregt variable convention},
journal = {Math. Struct. Comput. Sci.},
volume = {31},
number = {3},
pages = {341--360},
year = {2021},
url = {https://doi.org/10.1017/S0960129521000335},
doi = {10.1017/S0960129521000335},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/CopelloST21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/CoquandRS21,
author = {Thierry Coquand and
Fabian Ruch and
Christian Sattler},
title = {Constructive sheaf models of type theory},
journal = {Math. Struct. Comput. Sci.},
volume = {31},
number = {9},
pages = {979--1002},
year = {2021},
url = {https://doi.org/10.1017/S0960129521000359},
doi = {10.1017/S0960129521000359},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/CoquandRS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/CoulembierSB21,
author = {Kevin Coulembier and
Ross Street and
Michel van den Bergh},
title = {Freely adjoining monoidal duals},
journal = {Math. Struct. Comput. Sci.},
volume = {31},
number = {7},
pages = {748--768},
year = {2021},
url = {https://doi.org/10.1017/S0960129520000274},
doi = {10.1017/S0960129520000274},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/CoulembierSB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/CranchDS21,
author = {James Cranch and
Simon Doherty and
Georg Struth},
title = {Convolution and concurrency},
journal = {Math. Struct. Comput. Sci.},
volume = {31},
number = {8},
pages = {918--949},
year = {2021},
url = {https://doi.org/10.1017/S0960129522000081},
doi = {10.1017/S0960129522000081},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/CranchDS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/DagninoR21,
author = {Francesco Dagnino and
Giuseppe Rosolini},
title = {Doctrines, modalities and comonads},
journal = {Math. Struct. Comput. Sci.},
volume = {31},
number = {7},
pages = {769--798},
year = {2021},
url = {https://doi.org/10.1017/S0960129521000207},
doi = {10.1017/S0960129521000207},
timestamp = {Fri, 01 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/DagninoR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/EmmeneggerPR21,
author = {Jacopo Emmenegger and
Fabio Pasquali and
Giuseppe Rosolini},
title = {Elementary fibrations of enriched groupoids},
journal = {Math. Struct. Comput. Sci.},
volume = {31},
number = {9},
pages = {958--978},
year = {2021},
url = {https://doi.org/10.1017/S096012952100030X},
doi = {10.1017/S096012952100030X},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/EmmeneggerPR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Escardo21,
author = {Mart{\'{\i}}n H{\"{o}}tzel Escard{\'{o}}},
title = {Injective types in univalent mathematics},
journal = {Math. Struct. Comput. Sci.},
volume = {31},
number = {1},
pages = {89--111},
year = {2021},
url = {https://doi.org/10.1017/S0960129520000225},
doi = {10.1017/S0960129520000225},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Escardo21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/FahrenbergJSZ21,
author = {Uli Fahrenberg and
Christian Johansen and
Georg Struth and
Krzysztof Ziemianski},
title = {Languages of higher-dimensional automata},
journal = {Math. Struct. Comput. Sci.},
volume = {31},
number = {5},
pages = {575--613},
year = {2021},
url = {https://doi.org/10.1017/S0960129521000293},
doi = {10.1017/S0960129521000293},
timestamp = {Wed, 23 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/FahrenbergJSZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/FeltyOX21,
author = {Amy P. Felty and
Carlos Olarte and
Bruno Xavier},
title = {A focused linear logical framework and its application to metatheory
of object logics},
journal = {Math. Struct. Comput. Sci.},
volume = {31},
number = {3},
pages = {312--340},
year = {2021},
url = {https://doi.org/10.1017/S0960129521000323},
doi = {10.1017/S0960129521000323},
timestamp = {Fri, 21 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/FeltyOX21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/FioreS21,
author = {Marcelo Fiore and
Philip Saville},
title = {Coherence for bicategorical cartesian closed structure},
journal = {Math. Struct. Comput. Sci.},
volume = {31},
number = {7},
pages = {822--849},
year = {2021},
url = {https://doi.org/10.1017/S0960129521000281},
doi = {10.1017/S0960129521000281},
timestamp = {Fri, 01 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/FioreS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/FreyS21,
author = {Jonas Frey and
Thomas Streicher},
title = {Triposes as a generalization of localic geometric morphisms},
journal = {Math. Struct. Comput. Sci.},
volume = {31},
number = {9},
pages = {1024--1033},
year = {2021},
url = {https://doi.org/10.1017/S0960129520000304},
doi = {10.1017/S0960129520000304},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/FreyS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/FritzPR21,
author = {Tobias Fritz and
Paolo Perrone and
Sharwin Rezagholi},
title = {Probability, valuations, hyperspace: Three monads on top and the support
as a morphism},
journal = {Math. Struct. Comput. Sci.},
volume = {31},
number = {8},
pages = {850--897},
year = {2021},
url = {https://doi.org/10.1017/S0960129521000414},
doi = {10.1017/S0960129521000414},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/FritzPR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Gabbay21,
author = {Murdoch James Gabbay},
title = {Algebras of UTxO blockchains},
journal = {Math. Struct. Comput. Sci.},
volume = {31},
number = {9},
pages = {1034--1089},
year = {2021},
url = {https://doi.org/10.1017/S0960129521000438},
doi = {10.1017/S0960129521000438},
timestamp = {Mon, 08 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Gabbay21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Gallozzi21,
author = {Cesare Gallozzi},
title = {Homotopy type-theoretic interpretations of constructive set theories},
journal = {Math. Struct. Comput. Sci.},
volume = {31},
number = {1},
pages = {112--143},
year = {2021},
url = {https://doi.org/10.1017/S0960129519000148},
doi = {10.1017/S0960129519000148},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/Gallozzi21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Goubault-Larrecq21,
author = {Jean Goubault{-}Larrecq},
title = {Products and projective limits of continuous valuations on {T0} spaces},
journal = {Math. Struct. Comput. Sci.},
volume = {31},
number = {2},
pages = {234--254},
year = {2021},
url = {https://doi.org/10.1017/S0960129521000141},
doi = {10.1017/S0960129521000141},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/Goubault-Larrecq21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Goubault-Larrecq21a,
author = {Jean Goubault{-}Larrecq and
Xiaodong Jia},
title = {Separating minimal valuations, point-continuous valuations, and continuous
valuations},
journal = {Math. Struct. Comput. Sci.},
volume = {31},
number = {6},
pages = {614--632},
year = {2021},
url = {https://doi.org/10.1017/S0960129521000384},
doi = {10.1017/S0960129521000384},
timestamp = {Fri, 28 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Goubault-Larrecq21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/HasegawaLM21,
author = {Masahito Hasegawa and
Stephen Lack and
Guy McCusker},
title = {A special issue on categorical algebras and computation in celebration
of John Power's 60th birthday, part {I}},
journal = {Math. Struct. Comput. Sci.},
volume = {31},
number = {7},
pages = {746--747},
year = {2021},
url = {https://doi.org/10.1017/S0960129522000056},
doi = {10.1017/S0960129522000056},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/HasegawaLM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/HoffmannSS21,
author = {Jan Hoffmann and
Donald Sannella and
Ulrich Sch{\"{o}}pp},
title = {Preface for the special issue in homage to Martin Hofmann Part 1},
journal = {Math. Struct. Comput. Sci.},
volume = {31},
number = {9},
pages = {950--952},
year = {2021},
url = {https://doi.org/10.1017/S0960129522000135},
doi = {10.1017/S0960129522000135},
timestamp = {Mon, 08 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/HoffmannSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Isaev21,
author = {Valery Isaev},
title = {Indexed type theories},
journal = {Math. Struct. Comput. Sci.},
volume = {31},
number = {1},
pages = {3--63},
year = {2021},
url = {https://doi.org/10.1017/S0960129520000092},
doi = {10.1017/S0960129520000092},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/Isaev21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/JacobsKZ21,
author = {Bart Jacobs and
Aleks Kissinger and
Fabio Zanasi},
title = {Causal inference via string diagram surgery: {A} diagrammatic approach
to interventions and counterfactuals},
journal = {Math. Struct. Comput. Sci.},
volume = {31},
number = {5},
pages = {553--574},
year = {2021},
url = {https://doi.org/10.1017/S096012952100027X},
doi = {10.1017/S096012952100027X},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/JacobsKZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/JenkinsS21,
author = {Christopher Jenkins and
Aaron Stump},
title = {Monotone recursive types and recursive data representations in Cedille},
journal = {Math. Struct. Comput. Sci.},
volume = {31},
number = {6},
pages = {682--745},
year = {2021},
url = {https://doi.org/10.1017/S0960129521000402},
doi = {10.1017/S0960129521000402},
timestamp = {Wed, 23 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/JenkinsS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Jong21,
author = {Tom de Jong},
title = {The Scott model of {PCF} in univalent type theory},
journal = {Math. Struct. Comput. Sci.},
volume = {31},
number = {10},
pages = {1270--1300},
year = {2021},
url = {https://doi.org/10.1017/S0960129521000153},
doi = {10.1017/S0960129521000153},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/Jong21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/LagoH21,
author = {Ugo Dal Lago and
Naohiko Hoshino},
title = {The geometry of Bayesian programming},
journal = {Math. Struct. Comput. Sci.},
volume = {31},
number = {6},
pages = {633--681},
year = {2021},
url = {https://doi.org/10.1017/S0960129521000396},
doi = {10.1017/S0960129521000396},
timestamp = {Wed, 23 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/LagoH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Latte21,
author = {Markus Latte},
title = {Branching-time logics and fairness, revisited},
journal = {Math. Struct. Comput. Sci.},
volume = {31},
number = {9},
pages = {1135--1144},
year = {2021},
url = {https://doi.org/10.1017/S0960129521000475},
doi = {10.1017/S0960129521000475},
timestamp = {Mon, 08 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Latte21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/LicataL21,
author = {Dan Licata and
Peter LeFanu Lumsdaine},
title = {Special issue on homotopy type theory 2019},
journal = {Math. Struct. Comput. Sci.},
volume = {31},
number = {10},
pages = {1145--1146},
year = {2021},
url = {https://doi.org/10.1017/S0960129522000202},
doi = {10.1017/S0960129522000202},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/LicataL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Mortberg21,
author = {Anders M{\"{o}}rtberg},
title = {Cubical methods in homotopy type theory and univalent foundations},
journal = {Math. Struct. Comput. Sci.},
volume = {31},
number = {10},
pages = {1147--1184},
year = {2021},
url = {https://doi.org/10.1017/S0960129521000311},
doi = {10.1017/S0960129521000311},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/Mortberg21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Raussen21,
author = {Martin Raussen},
title = {Strictifying and taming directed paths in Higher Dimensional Automata},
journal = {Math. Struct. Comput. Sci.},
volume = {31},
number = {2},
pages = {193--213},
year = {2021},
url = {https://doi.org/10.1017/S0960129521000128},
doi = {10.1017/S0960129521000128},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Raussen21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/RivieccioJ21,
author = {Umberto Rivieccio and
Ramon Jansana},
title = {Quasi-Nelson algebras and fragments},
journal = {Math. Struct. Comput. Sci.},
volume = {31},
number = {3},
pages = {257--285},
year = {2021},
url = {https://doi.org/10.1017/S0960129521000049},
doi = {10.1017/S0960129521000049},
timestamp = {Fri, 21 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/RivieccioJ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Rosicky21,
author = {Jir{\'{\i}} Rosick{\'{y}}},
title = {Metric monads},
journal = {Math. Struct. Comput. Sci.},
volume = {31},
number = {5},
pages = {535--552},
year = {2021},
url = {https://doi.org/10.1017/S0960129521000220},
doi = {10.1017/S0960129521000220},
timestamp = {Wed, 23 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/Rosicky21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/SeidlV21,
author = {Helmut Seidl and
Ralf Vogler},
title = {Three improvements to the top-down solver},
journal = {Math. Struct. Comput. Sci.},
volume = {31},
number = {9},
pages = {1090--1134},
year = {2021},
url = {https://doi.org/10.1017/S0960129521000499},
doi = {10.1017/S0960129521000499},
timestamp = {Mon, 08 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/SeidlV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Slavnov21,
author = {Sergey Slavnov},
title = {Linear logic in normed cones: probabilistic coherence spaces and beyond},
journal = {Math. Struct. Comput. Sci.},
volume = {31},
number = {5},
pages = {495--534},
year = {2021},
url = {https://doi.org/10.1017/S0960129521000177},
doi = {10.1017/S0960129521000177},
timestamp = {Wed, 23 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/Slavnov21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Spreen21,
author = {Dieter Spreen},
title = {Computing with continuous objects: a uniform co-inductive approach},
journal = {Math. Struct. Comput. Sci.},
volume = {31},
number = {2},
pages = {144--192},
year = {2021},
url = {https://doi.org/10.1017/S0960129521000116},
doi = {10.1017/S0960129521000116},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Spreen21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Streicher21,
author = {Thomas Streicher},
title = {The genesis of the groupoid model},
journal = {Math. Struct. Comput. Sci.},
volume = {31},
number = {9},
pages = {1003--1005},
year = {2021},
url = {https://doi.org/10.1017/S0960129520000286},
doi = {10.1017/S0960129520000286},
timestamp = {Mon, 08 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Streicher21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/SwanU21,
author = {Andrew W. Swan and
Taichi Uemura},
title = {On Church's thesis in cubical assemblies},
journal = {Math. Struct. Comput. Sci.},
volume = {31},
number = {10},
pages = {1185--1204},
year = {2021},
url = {https://doi.org/10.1017/S0960129522000068},
doi = {10.1017/S0960129522000068},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/SwanU21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/SzaboS21,
author = {Peter Szab{\'{o}} and
J{\"{o}}rg H. Siekmann},
title = {E-Unification based on Generalized Embedding},
journal = {Math. Struct. Comput. Sci.},
volume = {31},
number = {8},
pages = {898--917},
year = {2021},
url = {https://doi.org/10.1017/S0960129522000019},
doi = {10.1017/S0960129522000019},
timestamp = {Fri, 20 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/SzaboS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Zoethout21,
author = {Jetze Zoethout},
title = {On (co)products of partial combinatory algebras, with an application
to pushouts of realizability toposes},
journal = {Math. Struct. Comput. Sci.},
volume = {31},
number = {2},
pages = {214--233},
year = {2021},
url = {https://doi.org/10.1017/S096012952100013X},
doi = {10.1017/S096012952100013X},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Zoethout21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-06 02:20 CEST from data curated 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:
