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/entics1.bht:"
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-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-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-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-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-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/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-07-04 13:18 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:
