Search dblp for Publications

• > Home > Search

@article{DBLP:journals/mscs/0001HNSW24,
  author       = {Sergey Goncharov and
                  Dirk Hofmann and
                  Pedro Nora and
                  Lutz Schr{\"{o}}der and
                  Paul Wild},
  title        = {A point-free perspective on lax extensions and predicate liftings},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {34},
  number       = {2},
  pages        = {98--127},
  year         = {2024},
  url          = {https://doi.org/10.1017/s096012952300035x},
  doi          = {10.1017/S096012952300035X},
  timestamp    = {Fri, 22 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mscs/0001HNSW24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mscs/AnnenkovCKS24,
  author       = {Danil Annenkov and
                  Paolo Capriotti and
                  Nicolai Kraus and
                  Christian Sattler},
  title        = {Two-level type theory and applications - {ERRATUM}},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {34},
  number       = {1},
  pages        = {80},
  year         = {2024},
  url          = {https://doi.org/10.1017/s096012952300021x},
  doi          = {10.1017/S096012952300021X},
  timestamp    = {Tue, 19 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mscs/AnnenkovCKS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mscs/ChenKLX24,
  author       = {Yuxu Chen and
                  Hui Kou and
                  Zhenchao Lyu and
                  Xiaolin Xie},
  title        = {A construction of free dcpo-cones},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {34},
  number       = {1},
  pages        = {63--79},
  year         = {2024},
  url          = {https://doi.org/10.1017/s0960129523000427},
  doi          = {10.1017/S0960129523000427},
  timestamp    = {Mon, 01 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mscs/ChenKLX24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mscs/Diaz-CaroM24,
  author       = {Alejandro D{\'{\i}}az{-}Caro and
                  Octavio Malherbe},
  title        = {A concrete model for a typed linear algebraic lambda calculus},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {34},
  number       = {1},
  pages        = {1--44},
  year         = {2024},
  url          = {https://doi.org/10.1017/s0960129523000361},
  doi          = {10.1017/S0960129523000361},
  timestamp    = {Fri, 22 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mscs/Diaz-CaroM24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mscs/Fernandez-Duque24,
  author       = {David Fern{\'{a}}ndez{-}Duque and
                  Quentin Gougeon},
  title        = {Fixed point logics and definable topological properties},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {34},
  number       = {2},
  pages        = {81--97},
  year         = {2024},
  url          = {https://doi.org/10.1017/s0960129523000385},
  doi          = {10.1017/S0960129523000385},
  timestamp    = {Mon, 01 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mscs/Fernandez-Duque24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mscs/HouML24,
  author       = {Huijun Hou and
                  Hualin Miao and
                  Qingguo Li},
  title        = {The order-K-ification monads},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {34},
  number       = {1},
  pages        = {45--62},
  year         = {2024},
  url          = {https://doi.org/10.1017/s0960129523000403},
  doi          = {10.1017/S0960129523000403},
  timestamp    = {Fri, 22 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mscs/HouML24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mscs/Qiu24,
  author       = {Daowen Qiu},
  title        = {Learning quantum finite automata with queries},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {34},
  number       = {2},
  pages        = {128--146},
  year         = {2024},
  url          = {https://doi.org/10.1017/s0960129523000373},
  doi          = {10.1017/S0960129523000373},
  timestamp    = {Fri, 22 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mscs/Qiu24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mscs/Rosicky24,
  author       = {Jir{\'{\i}} Rosick{\'{y}}},
  title        = {Discrete equational theories},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {34},
  number       = {2},
  pages        = {147--160},
  year         = {2024},
  url          = {https://doi.org/10.1017/s096012952400001x},
  doi          = {10.1017/S096012952400001X},
  timestamp    = {Mon, 01 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mscs/Rosicky24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}