Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/series/entics/entics1.bht:"
@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 = {Sun, 04 Aug 2024 01:00:00 +0200}, 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} }
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.