Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:series/entics:"
download as .bib file
@inproceedings{DBLP:journals/corr/abs-2301-04728,
author = {Ayberk Tosun and
Mart{\'{\i}}n H{\"{o}}tzel Escard{\'{o}}},
editor = {Justin Hsu and
Christine Tasson},
title = {Patch Locale of a Spectral Locale in Univalent Type Theory},
booktitle = {Proceedings of the 38th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} XXXXVIII, Cornell University, Ithaca,
NY, USA, with a satellite event at IRIF, Denis Diderot University,
Paris, France, and online, July 11-13, 2022},
series = {{EPTICS}},
volume = {1},
publisher = {EpiSciences},
year = {2023},
url = {https://doi.org/10.46298/entics.10808},
doi = {10.46298/ENTICS.10808},
timestamp = {Wed, 03 Jan 2024 15:36:34 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-04728.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2301-12475,
author = {Sam van Gool and
Paul{-}Andr{\'{e}} Melli{\`{e}}s and
Vincent Moreau},
editor = {Marie Kerjean and
Paul Blain Levy},
title = {Profinite lambda-terms and parametricity},
booktitle = {Proceedings of the 39th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} XXXIX, Indiana University, Bloomington,
IN, USA, June 21-23, 2023},
series = {{EPTICS}},
volume = {3},
publisher = {EpiSciences},
year = {2023},
url = {https://doi.org/10.46298/entics.12280},
doi = {10.46298/ENTICS.12280},
timestamp = {Wed, 03 Jan 2024 15:36:41 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-12475.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2302-01224,
author = {Giorgio Bacci and
Radu Mardare and
Prakash Panangaden and
Gordon D. Plotkin},
editor = {Marie Kerjean and
Paul Blain Levy},
title = {Propositional Logics for the Lawvere Quantale},
booktitle = {Proceedings of the 39th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} XXXIX, Indiana University, Bloomington,
IN, USA, June 21-23, 2023},
series = {{EPTICS}},
volume = {3},
publisher = {EpiSciences},
year = {2023},
url = {https://doi.org/10.46298/entics.12292},
doi = {10.46298/ENTICS.12292},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-01224.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2303-02572,
author = {Michael Shulman},
editor = {Marie Kerjean and
Paul Blain Levy},
title = {Semantics of multimodal adjoint type theory},
booktitle = {Proceedings of the 39th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} XXXIX, Indiana University, Bloomington,
IN, USA, June 21-23, 2023},
series = {{EPTICS}},
volume = {3},
publisher = {EpiSciences},
year = {2023},
url = {https://doi.org/10.46298/entics.12300},
doi = {10.46298/ENTICS.12300},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-02572.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2303-10586,
author = {Jean{-}Simon Pacaud Lemay and
Jean{-}Baptiste Vienney},
editor = {Marie Kerjean and
Paul Blain Levy},
title = {Graded Differential Categories and Graded Differential Linear Logic},
booktitle = {Proceedings of the 39th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} XXXIX, Indiana University, Bloomington,
IN, USA, June 21-23, 2023},
series = {{EPTICS}},
volume = {3},
publisher = {EpiSciences},
year = {2023},
url = {https://doi.org/10.46298/entics.12290},
doi = {10.46298/ENTICS.12290},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-10586.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2304-02082,
author = {Fredrik Dahlqvist and
Renato Neves},
editor = {Marie Kerjean and
Paul Blain Levy},
title = {A Complete V-Equational System for Graded lambda-Calculus},
booktitle = {Proceedings of the 39th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} XXXIX, Indiana University, Bloomington,
IN, USA, June 21-23, 2023},
series = {{EPTICS}},
volume = {3},
publisher = {EpiSciences},
year = {2023},
url = {https://doi.org/10.46298/entics.12299},
doi = {10.46298/ENTICS.12299},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-02082.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2307-12302,
author = {Alex Dixon and
Andrzej S. Murawski},
editor = {Marie Kerjean and
Paul Blain Levy},
title = {Saturating automata for game semantics},
booktitle = {Proceedings of the 39th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} XXXIX, Indiana University, Bloomington,
IN, USA, June 21-23, 2023},
series = {{EPTICS}},
volume = {3},
publisher = {EpiSciences},
year = {2023},
url = {https://doi.org/10.46298/entics.12277},
doi = {10.46298/ENTICS.12277},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-12302.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2308-02906,
author = {Frederik Lerbjerg Aagaard and
Jonathan Sterling and
Lars Birkedal},
editor = {Marie Kerjean and
Paul Blain Levy},
title = {A denotationally-based program logic for higher-order store},
booktitle = {Proceedings of the 39th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} XXXIX, Indiana University, Bloomington,
IN, USA, June 21-23, 2023},
series = {{EPTICS}},
volume = {3},
publisher = {EpiSciences},
year = {2023},
url = {https://doi.org/10.46298/entics.12232},
doi = {10.46298/ENTICS.12232},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-02906.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2308-06859,
author = {Jean{-}Simon Pacaud Lemay},
editor = {Marie Kerjean and
Paul Blain Levy},
title = {Cartesian Differential Kleisli Categories},
booktitle = {Proceedings of the 39th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} XXXIX, Indiana University, Bloomington,
IN, USA, June 21-23, 2023},
series = {{EPTICS}},
volume = {3},
publisher = {EpiSciences},
year = {2023},
url = {https://doi.org/10.46298/entics.12278},
doi = {10.46298/ENTICS.12278},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-06859.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2308-08404,
author = {Maria Emilia Maietti and
Pietro Sabelli},
editor = {Marie Kerjean and
Paul Blain Levy},
title = {A topological counterpart of well-founded trees in dependent type
theory},
booktitle = {Proceedings of the 39th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} XXXIX, Indiana University, Bloomington,
IN, USA, June 21-23, 2023},
series = {{EPTICS}},
volume = {3},
publisher = {EpiSciences},
year = {2023},
url = {https://doi.org/10.46298/entics.11755},
doi = {10.46298/ENTICS.11755},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-08404.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2309-06913,
author = {Dexter Kozen and
Alexandra Silva and
Erik Voogd},
editor = {Marie Kerjean and
Paul Blain Levy},
title = {Joint Distributions in Probabilistic Semantics},
booktitle = {Proceedings of the 39th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} XXXIX, Indiana University, Bloomington,
IN, USA, June 21-23, 2023},
series = {{EPTICS}},
volume = {3},
publisher = {EpiSciences},
year = {2023},
url = {https://doi.org/10.46298/entics.12279},
doi = {10.46298/ENTICS.12279},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-06913.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2309-07053,
author = {Bart Jacobs and
Dario Stein},
editor = {Marie Kerjean and
Paul Blain Levy},
title = {Pearl's and Jeffrey's Update as Modes of Learning in Probabilistic
Programming},
booktitle = {Proceedings of the 39th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} XXXIX, Indiana University, Bloomington,
IN, USA, June 21-23, 2023},
series = {{EPTICS}},
volume = {3},
publisher = {EpiSciences},
year = {2023},
url = {https://doi.org/10.46298/entics.12281},
doi = {10.46298/ENTICS.12281},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-07053.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2309-08581,
author = {Siva Somayyajula and
Frank Pfenning},
editor = {Marie Kerjean and
Paul Blain Levy},
title = {Dependent Type Refinements for Futures},
booktitle = {Proceedings of the 39th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} XXXIX, Indiana University, Bloomington,
IN, USA, June 21-23, 2023},
series = {{EPTICS}},
volume = {3},
publisher = {EpiSciences},
year = {2023},
url = {https://doi.org/10.46298/entics.12286},
doi = {10.46298/ENTICS.12286},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-08581.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2309-08822,
author = {Shin{-}ya Katsumata and
Xavier Rival and
J{\'{e}}r{\'{e}}my Dubut},
editor = {Marie Kerjean and
Paul Blain Levy},
title = {A Categorical Framework for Program Semantics and Semantic Abstraction},
booktitle = {Proceedings of the 39th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} XXXIX, Indiana University, Bloomington,
IN, USA, June 21-23, 2023},
series = {{EPTICS}},
volume = {3},
publisher = {EpiSciences},
year = {2023},
url = {https://doi.org/10.46298/entics.12288},
doi = {10.46298/ENTICS.12288},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-08822.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2309-08962,
author = {Frank S. de Boer and
Hans{-}Dieter A. Hiep and
Stijn de Gouw},
editor = {Marie Kerjean and
Paul Blain Levy},
title = {Dynamic Separation Logic},
booktitle = {Proceedings of the 39th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} XXXIX, Indiana University, Bloomington,
IN, USA, June 21-23, 2023},
series = {{EPTICS}},
volume = {3},
publisher = {EpiSciences},
year = {2023},
url = {https://doi.org/10.46298/entics.12297},
doi = {10.46298/ENTICS.12297},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-08962.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2309-09467,
author = {Younesse Kaddar and
Sam Staton},
editor = {Marie Kerjean and
Paul Blain Levy},
title = {A model of stochastic memoization and name generation in probabilistic
programming: categorical semantics via monads on presheaf categories},
booktitle = {Proceedings of the 39th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} XXXIX, Indiana University, Bloomington,
IN, USA, June 21-23, 2023},
series = {{EPTICS}},
volume = {3},
publisher = {EpiSciences},
year = {2023},
url = {https://doi.org/10.46298/entics.12291},
doi = {10.46298/ENTICS.12291},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-09467.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2309-09931,
author = {Lawrence S. Moss},
editor = {Marie Kerjean and
Paul Blain Levy},
title = {Algebra of Self-Replication},
booktitle = {Proceedings of the 39th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} XXXIX, Indiana University, Bloomington,
IN, USA, June 21-23, 2023},
series = {{EPTICS}},
volume = {3},
publisher = {EpiSciences},
year = {2023},
url = {https://doi.org/10.46298/entics.12320},
doi = {10.46298/ENTICS.12320},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-09931.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2309-10084,
author = {Marcelo Fiore and
Zeinab Galal and
Farzad Jafarrahmani},
editor = {Marie Kerjean and
Paul Blain Levy},
title = {Fixpoint constructions in focused orthogonality models of linear logic},
booktitle = {Proceedings of the 39th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} XXXIX, Indiana University, Bloomington,
IN, USA, June 21-23, 2023},
series = {{EPTICS}},
volume = {3},
publisher = {EpiSciences},
year = {2023},
url = {https://doi.org/10.46298/entics.12302},
doi = {10.46298/ENTICS.12302},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-10084.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2310-09038,
author = {Aurore Alcolei and
Luc Pellissier and
Alexis Saurin},
editor = {Marie Kerjean and
Paul Blain Levy},
title = {The exponential logic of sequentialization},
booktitle = {Proceedings of the 39th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} XXXIX, Indiana University, Bloomington,
IN, USA, June 21-23, 2023},
series = {{EPTICS}},
volume = {3},
publisher = {EpiSciences},
year = {2023},
url = {https://doi.org/10.46298/entics.12419},
doi = {10.46298/ENTICS.12419},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-09038.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2310-10576,
author = {Samuele Maschio and
Alexandre Miquel},
editor = {Marie Kerjean and
Paul Blain Levy},
title = {Implicative models of set theory},
booktitle = {Proceedings of the 39th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} XXXIX, Indiana University, Bloomington,
IN, USA, June 21-23, 2023},
series = {{EPTICS}},
volume = {3},
publisher = {EpiSciences},
year = {2023},
url = {https://doi.org/10.46298/entics.12426},
doi = {10.46298/ENTICS.12426},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-10576.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mfps/2023,
editor = {Marie Kerjean and
Paul Blain Levy},
title = {Proceedings of the 39th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} XXXIX, Indiana University, Bloomington,
IN, USA, June 21-23, 2023},
series = {{EPTICS}},
volume = {3},
publisher = {EpiSciences},
year = {2023},
url = {https://doi.org/10.46298/entics.proceedings.mfps39},
doi = {10.46298/ENTICS.PROCEEDINGS.MFPS39},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfps/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2110-05412,
author = {Vikraman Choudhury and
Marcelo Fiore},
editor = {Justin Hsu and
Christine Tasson},
title = {Free Commutative Monoids in Homotopy Type Theory},
booktitle = {Proceedings of the 38th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} XXXXVIII, Cornell University, Ithaca,
NY, USA, with a satellite event at IRIF, Denis Diderot University,
Paris, France, and online, July 11-13, 2022},
series = {{EPTICS}},
volume = {1},
publisher = {EpiSciences},
year = {2022},
url = {https://doi.org/10.46298/entics.10492},
doi = {10.46298/ENTICS.10492},
timestamp = {Wed, 24 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-05412.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2204-14153,
author = {Stefan Zetzsche and
Alexandra Silva and
Matteo Sammartino},
editor = {Justin Hsu and
Christine Tasson},
title = {Guarded Kleene Algebra with Tests: Automata Learning},
booktitle = {Proceedings of the 38th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} XXXXVIII, Cornell University, Ithaca,
NY, USA, with a satellite event at IRIF, Denis Diderot University,
Paris, France, and online, July 11-13, 2022},
series = {{EPTICS}},
volume = {1},
publisher = {EpiSciences},
year = {2022},
url = {https://doi.org/10.46298/entics.10505},
doi = {10.46298/ENTICS.10505},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-14153.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2205-03640,
author = {Alexandre Goy},
editor = {Justin Hsu and
Christine Tasson},
title = {Weakening and Iterating Laws using String Diagrams},
booktitle = {Proceedings of the 38th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} XXXXVIII, Cornell University, Ithaca,
NY, USA, with a satellite event at IRIF, Denis Diderot University,
Paris, France, and online, July 11-13, 2022},
series = {{EPTICS}},
volume = {1},
publisher = {EpiSciences},
year = {2022},
url = {https://doi.org/10.46298/entics.10482},
doi = {10.46298/ENTICS.10482},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-03640.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2210-04636,
author = {Daniele Palombi and
Jonathan Sterling},
editor = {Justin Hsu and
Christine Tasson},
title = {Classifying topoi in synthetic guarded domain theory},
booktitle = {Proceedings of the 38th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} XXXXVIII, Cornell University, Ithaca,
NY, USA, with a satellite event at IRIF, Denis Diderot University,
Paris, France, and online, July 11-13, 2022},
series = {{EPTICS}},
volume = {1},
publisher = {EpiSciences},
year = {2022},
url = {https://doi.org/10.46298/entics.10323},
doi = {10.46298/ENTICS.10323},
timestamp = {Wed, 24 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-04636.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2210-06095,
author = {Pietro Di Gianantonio and
Abbas Edalat and
Ran Gutin},
editor = {Marie Kerjean and
Paul Blain Levy},
title = {A language for evaluating derivatives of functionals using automatic
differentiation},
booktitle = {Proceedings of the 39th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} XXXIX, Indiana University, Bloomington,
IN, USA, June 21-23, 2023},
series = {{EPTICS}},
volume = {3},
publisher = {EpiSciences},
year = {2022},
url = {https://doi.org/10.46298/entics.12303},
doi = {10.46298/ENTICS.12303},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-06095.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2211-07163,
author = {Yinglong Song and
Jinbo Yang},
editor = {Weng Kin Ho and
Dongsheng Zhao and
Achim Jung and
Guo{-}Qiang Zhang and
Guo{-}Qiang Zhang},
title = {Strongly Continuous Domains},
booktitle = {Proceedings of the 9th International Symposium on Domain Theory and
Its Applications, {ISDT} 2022, Singapore, July 4-6, 2022},
series = {Electronic Notes in Theoretical Informatics and Computer Science},
volume = {2},
publisher = {EpiSciences},
year = {2022},
url = {https://doi.org/10.46298/entics.10312},
doi = {10.46298/ENTICS.10312},
timestamp = {Wed, 03 Jan 2024 15:36:17 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-07163.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2211-07972,
author = {Liping Zhang and
Xiangnan Zhou and
Qingguo Li},
editor = {Weng Kin Ho and
Dongsheng Zhao and
Achim Jung and
Guo{-}Qiang Zhang and
Guo{-}Qiang Zhang},
title = {A Hofmann-Mislove theorem for \emph{c}-well-filtered spaces},
booktitle = {Proceedings of the 9th International Symposium on Domain Theory and
Its Applications, {ISDT} 2022, Singapore, July 4-6, 2022},
series = {Electronic Notes in Theoretical Informatics and Computer Science},
volume = {2},
publisher = {EpiSciences},
year = {2022},
url = {https://doi.org/10.46298/entics.10369},
doi = {10.46298/ENTICS.10369},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-07972.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2211-09994,
author = {Mengjie Jin and
Qingguo Li},
editor = {Weng Kin Ho and
Dongsheng Zhao and
Achim Jung and
Guo{-}Qiang Zhang and
Guo{-}Qiang Zhang},
title = {On \emph{k}-ranks of topological spaces},
booktitle = {Proceedings of the 9th International Symposium on Domain Theory and
Its Applications, {ISDT} 2022, Singapore, July 4-6, 2022},
series = {Electronic Notes in Theoretical Informatics and Computer Science},
volume = {2},
publisher = {EpiSciences},
year = {2022},
url = {https://doi.org/10.46298/entics.10349},
doi = {10.46298/ENTICS.10349},
timestamp = {Fri, 12 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-09994.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2211-10106,
author = {Hualin Miao and
Qingguo Li and
Dongsheng Zhao},
editor = {Weng Kin Ho and
Dongsheng Zhao and
Achim Jung and
Guo{-}Qiang Zhang and
Guo{-}Qiang Zhang},
title = {One-step closure, weak one-step closure and meet continuity},
booktitle = {Proceedings of the 9th International Symposium on Domain Theory and
Its Applications, {ISDT} 2022, Singapore, July 4-6, 2022},
series = {Electronic Notes in Theoretical Informatics and Computer Science},
volume = {2},
publisher = {EpiSciences},
year = {2022},
url = {https://doi.org/10.46298/entics.10352},
doi = {10.46298/ENTICS.10352},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-10106.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2211-10626,
author = {Xiangping Chu and
Qingguo Li},
editor = {Weng Kin Ho and
Dongsheng Zhao and
Achim Jung and
Guo{-}Qiang Zhang and
Guo{-}Qiang Zhang},
title = {The d\({}^{\mbox{*}}\)-space},
booktitle = {Proceedings of the 9th International Symposium on Domain Theory and
Its Applications, {ISDT} 2022, Singapore, July 4-6, 2022},
series = {Electronic Notes in Theoretical Informatics and Computer Science},
volume = {2},
publisher = {EpiSciences},
year = {2022},
url = {https://doi.org/10.46298/entics.10354},
doi = {10.46298/ENTICS.10354},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-10626.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2211-10631,
author = {Huijun Hou and
Qingguo Li},
editor = {Weng Kin Ho and
Dongsheng Zhao and
Achim Jung and
Guo{-}Qiang Zhang and
Guo{-}Qiang Zhang},
title = {Weakly meet s\({}_{\mbox{Z}}\)-continuity and {\(\delta\)}\({}_{\mbox{Z}}\)-continuity},
booktitle = {Proceedings of the 9th International Symposium on Domain Theory and
Its Applications, {ISDT} 2022, Singapore, July 4-6, 2022},
series = {Electronic Notes in Theoretical Informatics and Computer Science},
volume = {2},
publisher = {EpiSciences},
year = {2022},
url = {https://doi.org/10.46298/entics.10344},
doi = {10.46298/ENTICS.10344},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-10631.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2211-10932,
author = {Min Liu and
Yulin Li},
editor = {Weng Kin Ho and
Dongsheng Zhao and
Achim Jung and
Guo{-}Qiang Zhang and
Guo{-}Qiang Zhang},
title = {Quantaloidal Completions of Order-enriched Categories and Their Applications},
booktitle = {Proceedings of the 9th International Symposium on Domain Theory and
Its Applications, {ISDT} 2022, Singapore, July 4-6, 2022},
series = {Electronic Notes in Theoretical Informatics and Computer Science},
volume = {2},
publisher = {EpiSciences},
year = {2022},
url = {https://doi.org/10.46298/entics.10339},
doi = {10.46298/ENTICS.10339},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-10932.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2211-11118,
author = {Masahito Hasegawa},
editor = {Justin Hsu and
Christine Tasson},
title = {The Internal Operads of Combinatory Algebras},
booktitle = {Proceedings of the 38th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} XXXXVIII, Cornell University, Ithaca,
NY, USA, with a satellite event at IRIF, Denis Diderot University,
Paris, France, and online, July 11-13, 2022},
series = {{EPTICS}},
volume = {1},
publisher = {EpiSciences},
year = {2022},
url = {https://doi.org/10.46298/entics.10338},
doi = {10.46298/ENTICS.10338},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-11118.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2211-11897,
author = {Tomoya Yoshida},
editor = {Justin Hsu and
Christine Tasson},
title = {Continuous Functions on Final Comodels of Free Algebraic Theories},
booktitle = {Proceedings of the 38th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} XXXXVIII, Cornell University, Ithaca,
NY, USA, with a satellite event at IRIF, Denis Diderot University,
Paris, France, and online, July 11-13, 2022},
series = {{EPTICS}},
volume = {1},
publisher = {EpiSciences},
year = {2022},
url = {https://doi.org/10.46298/entics.10374},
doi = {10.46298/ENTICS.10374},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-11897.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2211-12317,
author = {Xiaojun Ruan and
Xiaoquan Xu},
editor = {Weng Kin Ho and
Dongsheng Zhao and
Achim Jung and
Guo{-}Qiang Zhang and
Guo{-}Qiang Zhang},
title = {SI\({}_{\mbox{2}}\)-quasicontinuous spaces},
booktitle = {Proceedings of the 9th International Symposium on Domain Theory and
Its Applications, {ISDT} 2022, Singapore, July 4-6, 2022},
series = {Electronic Notes in Theoretical Informatics and Computer Science},
volume = {2},
publisher = {EpiSciences},
year = {2022},
url = {https://doi.org/10.46298/entics.10355},
doi = {10.46298/ENTICS.10355},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-12317.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2211-12318,
author = {Jason Z. S. Hu and
Brigitte Pientka},
editor = {Justin Hsu and
Christine Tasson},
title = {A Categorical Normalization Proof for the Modal Lambda-Calculus},
booktitle = {Proceedings of the 38th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} XXXXVIII, Cornell University, Ithaca,
NY, USA, with a satellite event at IRIF, Denis Diderot University,
Paris, France, and online, July 11-13, 2022},
series = {{EPTICS}},
volume = {1},
publisher = {EpiSciences},
year = {2022},
url = {https://doi.org/10.46298/entics.10360},
doi = {10.46298/ENTICS.10360},
timestamp = {Wed, 24 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-12318.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2211-12392,
author = {Jean Goubault{-}Larrecq and
Xiaodong Jia},
editor = {Weng Kin Ho and
Dongsheng Zhao and
Achim Jung and
Guo{-}Qiang Zhang and
Guo{-}Qiang Zhang},
title = {Continuous R-valuations},
booktitle = {Proceedings of the 9th International Symposium on Domain Theory and
Its Applications, {ISDT} 2022, Singapore, July 4-6, 2022},
series = {Electronic Notes in Theoretical Informatics and Computer Science},
volume = {2},
publisher = {EpiSciences},
year = {2022},
url = {https://doi.org/10.46298/entics.10351},
doi = {10.46298/ENTICS.10351},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-12392.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2211-12629,
author = {Tao Gu and
Robin Piedeleu and
Fabio Zanasi},
editor = {Justin Hsu and
Christine Tasson},
title = {A Complete Diagrammatic Calculus for Boolean Satisfiability},
booktitle = {Proceedings of the 38th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} XXXXVIII, Cornell University, Ithaca,
NY, USA, with a satellite event at IRIF, Denis Diderot University,
Paris, France, and online, July 11-13, 2022},
series = {{EPTICS}},
volume = {1},
publisher = {EpiSciences},
year = {2022},
url = {https://doi.org/10.46298/entics.10481},
doi = {10.46298/ENTICS.10481},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-12629.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2211-12734,
author = {Zhenchao Lyu and
Xiaolin Xie and
Hui Kou},
editor = {Weng Kin Ho and
Dongsheng Zhao and
Achim Jung and
Guo{-}Qiang Zhang and
Guo{-}Qiang Zhang},
title = {A note on the category of c-spaces},
booktitle = {Proceedings of the 9th International Symposium on Domain Theory and
Its Applications, {ISDT} 2022, Singapore, July 4-6, 2022},
series = {Electronic Notes in Theoretical Informatics and Computer Science},
volume = {2},
publisher = {EpiSciences},
year = {2022},
url = {https://doi.org/10.46298/entics.10362},
doi = {10.46298/ENTICS.10362},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-12734.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2211-14707,
author = {Zhaorong He and
Zhongqiang Yang and
Dongsheng Zhao},
editor = {Weng Kin Ho and
Dongsheng Zhao and
Achim Jung and
Guo{-}Qiang Zhang and
Guo{-}Qiang Zhang},
title = {Quasiexact posets and the moderate meet-continuity},
booktitle = {Proceedings of the 9th International Symposium on Domain Theory and
Its Applications, {ISDT} 2022, Singapore, July 4-6, 2022},
series = {Electronic Notes in Theoretical Informatics and Computer Science},
volume = {2},
publisher = {EpiSciences},
year = {2022},
url = {https://doi.org/10.46298/entics.10383},
doi = {10.46298/ENTICS.10383},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-14707.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2211-15922,
author = {Huarong Zhang and
Dongsheng Zhao},
editor = {Weng Kin Ho and
Dongsheng Zhao and
Achim Jung and
Guo{-}Qiang Zhang and
Guo{-}Qiang Zhang},
title = {The sheaf representation of residuated lattices},
booktitle = {Proceedings of the 9th International Symposium on Domain Theory and
Its Applications, {ISDT} 2022, Singapore, July 4-6, 2022},
series = {Electronic Notes in Theoretical Informatics and Computer Science},
volume = {2},
publisher = {EpiSciences},
year = {2022},
url = {https://doi.org/10.46298/entics.10399},
doi = {10.46298/ENTICS.10399},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-15922.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2211-16052,
author = {Anneliese Schauerte and
John Frith},
editor = {Weng Kin Ho and
Dongsheng Zhao and
Achim Jung and
Guo{-}Qiang Zhang and
Guo{-}Qiang Zhang},
title = {Partial frames, their free frames and their congruence frames},
booktitle = {Proceedings of the 9th International Symposium on Domain Theory and
Its Applications, {ISDT} 2022, Singapore, July 4-6, 2022},
series = {Electronic Notes in Theoretical Informatics and Computer Science},
volume = {2},
publisher = {EpiSciences},
year = {2022},
url = {https://doi.org/10.46298/entics.10459},
doi = {10.46298/ENTICS.10459},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-16052.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2211-16133,
author = {Chong Shen and
Xiaoyong Xi and
Dongsheng Zhao},
editor = {Weng Kin Ho and
Dongsheng Zhao and
Achim Jung and
Guo{-}Qiang Zhang and
Guo{-}Qiang Zhang},
title = {Further studies on open well-filtered spaces},
booktitle = {Proceedings of the 9th International Symposium on Domain Theory and
Its Applications, {ISDT} 2022, Singapore, July 4-6, 2022},
series = {Electronic Notes in Theoretical Informatics and Computer Science},
volume = {2},
publisher = {EpiSciences},
year = {2022},
url = {https://doi.org/10.46298/entics.10392},
doi = {10.46298/ENTICS.10392},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-16133.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2211-17099,
author = {Guojun Wu and
Luoshan Xu},
editor = {Weng Kin Ho and
Dongsheng Zhao and
Achim Jung and
Guo{-}Qiang Zhang and
Guo{-}Qiang Zhang},
title = {Representations of Domains via CF-approximation Spaces},
booktitle = {Proceedings of the 9th International Symposium on Domain Theory and
Its Applications, {ISDT} 2022, Singapore, July 4-6, 2022},
series = {Electronic Notes in Theoretical Informatics and Computer Science},
volume = {2},
publisher = {EpiSciences},
year = {2022},
url = {https://doi.org/10.46298/entics.10420},
doi = {10.46298/ENTICS.10420},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-17099.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2212-04882,
author = {James Laird},
editor = {Justin Hsu and
Christine Tasson},
title = {Revisiting Decidable Bounded Quantification, via Dinaturality},
booktitle = {Proceedings of the 38th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} XXXXVIII, Cornell University, Ithaca,
NY, USA, with a satellite event at IRIF, Denis Diderot University,
Paris, France, and online, July 11-13, 2022},
series = {{EPTICS}},
volume = {1},
publisher = {EpiSciences},
year = {2022},
url = {https://doi.org/10.46298/entics.10474},
doi = {10.46298/ENTICS.10474},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-04882.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2212-06321,
author = {Henry DeYoung and
Frank Pfenning},
editor = {Justin Hsu and
Christine Tasson},
title = {Data Layout from a Type-Theoretic Perspective (extended version)},
booktitle = {Proceedings of the 38th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} XXXXVIII, Cornell University, Ithaca,
NY, USA, with a satellite event at IRIF, Denis Diderot University,
Paris, France, and online, July 11-13, 2022},
series = {{EPTICS}},
volume = {1},
publisher = {EpiSciences},
year = {2022},
url = {https://doi.org/10.46298/entics.10507},
doi = {10.46298/ENTICS.10507},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-06321.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2212-07015,
author = {Takahiro Sanada},
editor = {Justin Hsu and
Christine Tasson},
title = {Category-Graded Algebraic Theories and Effect Handlers},
booktitle = {Proceedings of the 38th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} XXXXVIII, Cornell University, Ithaca,
NY, USA, with a satellite event at IRIF, Denis Diderot University,
Paris, France, and online, July 11-13, 2022},
series = {{EPTICS}},
volume = {1},
publisher = {EpiSciences},
year = {2022},
url = {https://doi.org/10.46298/entics.10491},
doi = {10.46298/ENTICS.10491},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-07015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2212-07976,
author = {Hugo Paquet},
editor = {Justin Hsu and
Christine Tasson},
title = {Bi-invariance for Uniform Strategies on Event Structures},
booktitle = {Proceedings of the 38th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} XXXXVIII, Cornell University, Ithaca,
NY, USA, with a satellite event at IRIF, Denis Diderot University,
Paris, France, and online, July 11-13, 2022},
series = {{EPTICS}},
volume = {1},
publisher = {EpiSciences},
year = {2022},
url = {https://doi.org/10.46298/entics.10498},
doi = {10.46298/ENTICS.10498},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-07976.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2212-08177,
author = {Willem Heijltjes},
editor = {Justin Hsu and
Christine Tasson},
title = {The Functional Machine Calculus},
booktitle = {Proceedings of the 38th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} XXXXVIII, Cornell University, Ithaca,
NY, USA, with a satellite event at IRIF, Denis Diderot University,
Paris, France, and online, July 11-13, 2022},
series = {{EPTICS}},
volume = {1},
publisher = {EpiSciences},
year = {2022},
url = {https://doi.org/10.46298/entics.10513},
doi = {10.46298/ENTICS.10513},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-08177.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2212-08594,
author = {Mateusz Pyzik},
editor = {Justin Hsu and
Christine Tasson},
title = {Call-By-Name Is Just Call-By-Value with Delimited Control},
booktitle = {Proceedings of the 38th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} XXXXVIII, Cornell University, Ithaca,
NY, USA, with a satellite event at IRIF, Denis Diderot University,
Paris, France, and online, July 11-13, 2022},
series = {{EPTICS}},
volume = {1},
publisher = {EpiSciences},
year = {2022},
url = {https://doi.org/10.46298/entics.10502},
doi = {10.46298/ENTICS.10502},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-08594.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2212-09060,
author = {Paul{-}Andr{\'{e}} Melli{\`{e}}s and
Noam Zeilberger},
editor = {Justin Hsu and
Christine Tasson},
title = {Parsing as a lifting problem and the Chomsky-Sch{\"{u}}tzenberger
representation theorem},
booktitle = {Proceedings of the 38th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} XXXXVIII, Cornell University, Ithaca,
NY, USA, with a satellite event at IRIF, Denis Diderot University,
Paris, France, and online, July 11-13, 2022},
series = {{EPTICS}},
volume = {1},
publisher = {EpiSciences},
year = {2022},
url = {https://doi.org/10.46298/entics.10508},
doi = {10.46298/ENTICS.10508},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-09060.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2212-09191,
author = {Bart Jacobs},
editor = {Justin Hsu and
Christine Tasson},
title = {Sufficient Statistics and Split Idempotents in Discrete Probability
Theory},
booktitle = {Proceedings of the 38th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} XXXXVIII, Cornell University, Ithaca,
NY, USA, with a satellite event at IRIF, Denis Diderot University,
Paris, France, and online, July 11-13, 2022},
series = {{EPTICS}},
volume = {1},
publisher = {EpiSciences},
year = {2022},
url = {https://doi.org/10.46298/entics.10520},
doi = {10.46298/ENTICS.10520},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-09191.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2212-11147,
author = {Benedetto Intrigila and
Giulio Manzonetto and
Nicolas Munnich},
editor = {Justin Hsu and
Christine Tasson},
title = {Extended Addressing Machines for PCF, with Explicit Substitutions},
booktitle = {Proceedings of the 38th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} XXXXVIII, Cornell University, Ithaca,
NY, USA, with a satellite event at IRIF, Denis Diderot University,
Paris, France, and online, July 11-13, 2022},
series = {{EPTICS}},
volume = {1},
publisher = {EpiSciences},
year = {2022},
url = {https://doi.org/10.46298/entics.10533},
doi = {10.46298/ENTICS.10533},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-11147.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isdt/2022,
editor = {Weng Kin Ho and
Dongsheng Zhao and
Achim Jung and
Guo{-}Qiang Zhang and
Guo{-}Qiang Zhang},
title = {Proceedings of the 9th International Symposium on Domain Theory and
Its Applications, {ISDT} 2022, Singapore, July 4-6, 2022},
series = {Electronic Notes in Theoretical Informatics and Computer Science},
volume = {2},
publisher = {EpiSciences},
year = {2022},
url = {https://doi.org/10.46298/entics.proceedings.isdt9},
doi = {10.46298/ENTICS.PROCEEDINGS.ISDT9},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isdt/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mfps/2022,
editor = {Justin Hsu and
Christine Tasson},
title = {Proceedings of the 38th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} XXXXVIII, Cornell University, Ithaca,
NY, USA, with a satellite event at IRIF, Denis Diderot University,
Paris, France, and online, July 11-13, 2022},
series = {{EPTICS}},
volume = {1},
publisher = {EpiSciences},
year = {2022},
url = {https://doi.org/10.46298/entics.proceedings.mfps38},
doi = {10.46298/ENTICS.PROCEEDINGS.MFPS38},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfps/2022.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-31 16:45 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:
