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/series/entics/entics3.bht:"
download as .bib file
@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-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}
}
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-21 22:38 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:
