default search action
Search dblp for Publications
export results for "Tom Hirschowitz"
@article{DBLP:journals/lmcs/HirschowitzHLM24, author = {Andr{\'{e}} Hirschowitz and Tom Hirschowitz and Ambroise Lafont and Marco Maggesi}, title = {Variable binding and substitution for (nameless) dummies}, journal = {Log. Methods Comput. Sci.}, volume = {20}, number = {1}, year = {2024}, url = {https://doi.org/10.46298/lmcs-20(1:18)2024}, doi = {10.46298/LMCS-20(1:18)2024}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lmcs/HirschowitzHLM24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2303-11679, author = {Tom Hirschowitz and Ambroise Lafont}, title = {A more general categorical framework for congruence of applicative bisimilarity}, journal = {CoRR}, volume = {abs/2303.11679}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2303.11679}, doi = {10.48550/ARXIV.2303.11679}, eprinttype = {arXiv}, eprint = {2303.11679}, timestamp = {Wed, 22 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2303-11679.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lmcs/HirschowitzHL22, author = {Andr{\'{e}} Hirschowitz and Tom Hirschowitz and Ambroise Lafont}, title = {Modules over monads and operational semantics (expanded version)}, journal = {Log. Methods Comput. Sci.}, volume = {18}, number = {3}, year = {2022}, url = {https://doi.org/10.46298/lmcs-18(3:3)2022}, doi = {10.46298/LMCS-18(3:3)2022}, timestamp = {Sat, 29 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lmcs/HirschowitzHL22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lmcs/HirschowitzL22, author = {Tom Hirschowitz and Ambroise Lafont}, title = {A categorical framework for congruence of applicative bisimilarity in higher-order languages}, journal = {Log. Methods Comput. Sci.}, volume = {18}, number = {3}, year = {2022}, url = {https://doi.org/10.46298/lmcs-18(3:37)2022}, doi = {10.46298/LMCS-18(3:37)2022}, timestamp = {Tue, 24 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lmcs/HirschowitzL22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/HirschowitzHLM22, author = {Andr{\'{e}} Hirschowitz and Tom Hirschowitz and Ambroise Lafont and Marco Maggesi}, editor = {Patricia Bouyer and Lutz Schr{\"{o}}der}, title = {Variable binding and substitution for (nameless) dummies}, booktitle = {Foundations of Software Science and Computation Structures - 25th International Conference, {FOSSACS} 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2022, Munich, Germany, April 2-7, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13242}, pages = {389--408}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-030-99253-8\_20}, doi = {10.1007/978-3-030-99253-8\_20}, timestamp = {Wed, 18 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/HirschowitzHLM22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2204-03870, author = {Tom Hirschowitz and Ambroise Lafont}, title = {A unified treatment of structural definitions on syntax for capture-avoiding substitution, context application, named substitution, partial differentiation, and so on}, journal = {CoRR}, volume = {abs/2204.03870}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2204.03870}, doi = {10.48550/ARXIV.2204.03870}, eprinttype = {arXiv}, eprint = {2204.03870}, timestamp = {Wed, 13 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2204-03870.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2209-02614, author = {Andr{\'{e}} Hirschowitz and Tom Hirschowitz and Ambroise Lafont and Marco Maggesi}, title = {Variable binding and substitution for (nameless) dummies}, journal = {CoRR}, volume = {abs/2209.02614}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2209.02614}, doi = {10.48550/ARXIV.2209.02614}, eprinttype = {arXiv}, eprint = {2209.02614}, timestamp = {Mon, 26 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2209-02614.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2103-16833, author = {Tom Hirschowitz and Ambroise Lafont}, title = {A categorical framework for congruence of applicative bisimilarity in higher-order languages}, journal = {CoRR}, volume = {abs/2103.16833}, year = {2021}, url = {https://arxiv.org/abs/2103.16833}, eprinttype = {arXiv}, eprint = {2103.16833}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2103-16833.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fscd/HirschowitzHL20, author = {Andr{\'{e}} Hirschowitz and Tom Hirschowitz and Ambroise Lafont}, editor = {Zena M. Ariola}, title = {Modules over Monads and Operational Semantics}, booktitle = {5th International Conference on Formal Structures for Computation and Deduction, {FSCD} 2020, June 29-July 6, 2020, Paris, France (Virtual Conference)}, series = {LIPIcs}, volume = {167}, pages = {12:1--12:23}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2020}, url = {https://doi.org/10.4230/LIPIcs.FSCD.2020.12}, doi = {10.4230/LIPICS.FSCD.2020.12}, timestamp = {Wed, 21 Aug 2024 22:46:00 +0200}, biburl = {https://dblp.org/rec/conf/fscd/HirschowitzHL20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/BorthelleHL20, author = {Peio Borthelle and Tom Hirschowitz and Ambroise Lafont}, editor = {Holger Hermanns and Lijun Zhang and Naoki Kobayashi and Dale Miller}, title = {A Cellular Howe Theorem}, booktitle = {{LICS} '20: 35th Annual {ACM/IEEE} Symposium on Logic in Computer Science, Saarbr{\"{u}}cken, Germany, July 8-11, 2020}, pages = {273--286}, publisher = {{ACM}}, year = {2020}, url = {https://doi.org/10.1145/3373718.3394738}, doi = {10.1145/3373718.3394738}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lics/BorthelleHL20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2012-06530, author = {Andr{\'{e}} Hirschowitz and Tom Hirschowitz and Ambroise Lafont}, title = {Modules over monads and operational semantics}, journal = {CoRR}, volume = {abs/2012.06530}, year = {2020}, url = {https://arxiv.org/abs/2012.06530}, eprinttype = {arXiv}, eprint = {2012.06530}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2012-06530.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/Hirschowitz19, author = {Tom Hirschowitz}, title = {Familial monads and structural operational semantics}, journal = {Proc. {ACM} Program. Lang.}, volume = {3}, number = {{POPL}}, pages = {21:1--21:28}, year = {2019}, url = {https://doi.org/10.1145/3290334}, doi = {10.1145/3290334}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/Hirschowitz19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/EberhartHL19, author = {Clovis Eberhart and Tom Hirschowitz and Alexis Laouar}, editor = {Herman Geuvers}, title = {Template Games, Simple Games, and Day Convolution}, booktitle = {4th International Conference on Formal Structures for Computation and Deduction, {FSCD} 2019, June 24-30, 2019, Dortmund, Germany}, series = {LIPIcs}, volume = {131}, pages = {16:1--16:19}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2019}, url = {https://doi.org/10.4230/LIPIcs.FSCD.2019.16}, doi = {10.4230/LIPICS.FSCD.2019.16}, timestamp = {Wed, 21 Aug 2024 22:46:00 +0200}, biburl = {https://dblp.org/rec/conf/rta/EberhartHL19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1908-11169, author = {Tom Hirschowitz}, editor = {Jorge A. P{\'{e}}rez and Jurriaan Rot}, title = {Cellular Monads from Positive {GSOS} Specifications}, booktitle = {Proceedings Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics, {EXPRESS/SOS} 2019, Amsterdam, The Netherlands, 26th August 2019}, series = {{EPTCS}}, volume = {300}, pages = {1--18}, year = {2019}, url = {https://doi.org/10.4204/EPTCS.300.1}, doi = {10.4204/EPTCS.300.1}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1908-11169.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/logcom/GarnerH18, author = {Richard Garner and Tom Hirschowitz}, title = {Shapely monads and analytic functors}, journal = {J. Log. Comput.}, volume = {28}, number = {1}, pages = {33--83}, year = {2018}, url = {https://doi.org/10.1093/logcom/exx029}, doi = {10.1093/LOGCOM/EXX029}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/logcom/GarnerH18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/EberhartH18, author = {Clovis Eberhart and Tom Hirschowitz}, editor = {Anuj Dawar and Erich Gr{\"{a}}del}, title = {What's in a game?: {A} theory of game models}, booktitle = {Proceedings of the 33rd Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2018, Oxford, UK, July 09-12, 2018}, pages = {374--383}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3209108.3209114}, doi = {10.1145/3209108.3209114}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lics/EberhartH18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1810-06991, author = {Clovis Eberhart and Tom Hirschowitz and Alexis Laouar}, title = {Simple game semantics and Day convolution}, journal = {CoRR}, volume = {abs/1810.06991}, year = {2018}, url = {http://arxiv.org/abs/1810.06991}, eprinttype = {arXiv}, eprint = {1810.06991}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1810-06991.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lmcs/EberhartHS17, author = {Clovis Eberhart and Tom Hirschowitz and Thomas Seiller}, title = {An intensionally fully-abstract sheaf model for {\(\pi\)} (expanded version)}, journal = {Log. Methods Comput. Sci.}, volume = {13}, number = {4}, year = {2017}, url = {https://doi.org/10.23638/LMCS-13(4:9)2017}, doi = {10.23638/LMCS-13(4:9)2017}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lmcs/EberhartHS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/calco/EberhartH17, author = {Clovis Eberhart and Tom Hirschowitz}, editor = {Filippo Bonchi and Barbara K{\"{o}}nig}, title = {Justified Sequences in String Diagrams: a Comparison Between Two Approaches to Concurrent Game Semantics}, booktitle = {7th Conference on Algebra and Coalgebra in Computer Science, {CALCO} 2017, June 12-16, 2017, Ljubljana, Slovenia}, series = {LIPIcs}, volume = {72}, pages = {10:1--10:16}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2017}, url = {https://doi.org/10.4230/LIPIcs.CALCO.2017.10}, doi = {10.4230/LIPICS.CALCO.2017.10}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/calco/EberhartH17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1710-06744, author = {Clovis Eberhart and Tom Hirschowitz and Thomas Seiller}, title = {An intensionally fully-abstract sheaf model for {\(\pi\)} (expanded version)}, journal = {CoRR}, volume = {abs/1710.06744}, year = {2017}, url = {http://arxiv.org/abs/1710.06744}, eprinttype = {arXiv}, eprint = {1710.06744}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1710-06744.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1711-10860, author = {Clovis Eberhart and Tom Hirschowitz}, title = {What's in a game? {A} theory of game models}, journal = {CoRR}, volume = {abs/1711.10860}, year = {2017}, url = {http://arxiv.org/abs/1711.10860}, eprinttype = {arXiv}, eprint = {1711.10860}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1711-10860.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:books/hal/Hirschowitz16, author = {Tom Hirschowitz}, title = {Quelques ponts entre s{\'{e}}mantique op{\'{e}}rationnelle et mod{\`{e}}les d{\'{e}}notationnels des langages de programmation}, year = {2016}, url = {https://tel.archives-ouvertes.fr/tel-01400666}, timestamp = {Sat, 30 Sep 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/hal/Hirschowitz16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/calco/EberhartHS15, author = {Clovis Eberhart and Tom Hirschowitz and Thomas Seiller}, editor = {Lawrence S. Moss and Pawel Sobocinski}, title = {An Intensionally Fully-abstract Sheaf Model for pi}, booktitle = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO} 2015, June 24-26, 2015, Nijmegen, The Netherlands}, series = {LIPIcs}, volume = {35}, pages = {86--100}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2015}, url = {https://doi.org/10.4230/LIPIcs.CALCO.2015.86}, doi = {10.4230/LIPICS.CALCO.2015.86}, timestamp = {Tue, 21 Apr 2020 10:56:16 +0200}, biburl = {https://dblp.org/rec/conf/calco/EberhartHS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tlca/HirschowitzHT15, author = {Andr{\'{e}} Hirschowitz and Tom Hirschowitz and Nicolas Tabareau}, editor = {Thorsten Altenkirch}, title = {Wild omega-Categories for the Homotopy Hypothesis in Type Theory}, booktitle = {13th International Conference on Typed Lambda Calculi and Applications, {TLCA} 2015, July 1-3, 2015, Warsaw, Poland}, series = {LIPIcs}, volume = {38}, pages = {226--240}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2015}, url = {https://doi.org/10.4230/LIPIcs.TLCA.2015.226}, doi = {10.4230/LIPICS.TLCA.2015.226}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tlca/HirschowitzHT15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/GarnerH15, author = {Richard Garner and Tom Hirschowitz}, title = {Shapely monads and analytic functors}, journal = {CoRR}, volume = {abs/1512.05980}, year = {2015}, url = {http://arxiv.org/abs/1512.05980}, eprinttype = {arXiv}, eprint = {1512.05980}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/GarnerH15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/Hirschowitz14, author = {Tom Hirschowitz}, title = {Full abstraction for fair testing in {CCS} (expanded version)}, journal = {Log. Methods Comput. Sci.}, volume = {10}, number = {4}, year = {2014}, url = {https://doi.org/10.2168/LMCS-10(4:2)2014}, doi = {10.2168/LMCS-10(4:2)2014}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Hirschowitz14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/Hirschowitz13, author = {Tom Hirschowitz}, title = {Cartesian closed 2-categories and permutation equivalence in higher-order rewriting}, journal = {Log. Methods Comput. Sci.}, volume = {9}, number = {3}, year = {2013}, url = {https://doi.org/10.2168/LMCS-9(3:10)2013}, doi = {10.2168/LMCS-9(3:10)2013}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Hirschowitz13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/calco/Hirschowitz13, author = {Tom Hirschowitz}, editor = {Reiko Heckel and Stefan Milius}, title = {Full Abstraction for Fair Testing in {CCS}}, booktitle = {Algebra and Coalgebra in Computer Science - 5th International Conference, {CALCO} 2013, Warsaw, Poland, September 3-6, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8089}, pages = {175--190}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-40206-7\_14}, doi = {10.1007/978-3-642-40206-7\_14}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/calco/Hirschowitz13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/EberhartHS13, author = {Clovis Eberhart and Tom Hirschowitz and Thomas Seiller}, title = {Fully-abstract concurrent games for pi}, journal = {CoRR}, volume = {abs/1310.4306}, year = {2013}, url = {http://arxiv.org/abs/1310.4306}, eprinttype = {arXiv}, eprint = {1310.4306}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/EberhartHS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1305-6184, author = {Tom Hirschowitz}, title = {Full abstraction for fair testing in {CCS}}, journal = {CoRR}, volume = {abs/1305.6184}, year = {2013}, url = {http://arxiv.org/abs/1305.6184}, eprinttype = {arXiv}, eprint = {1305.6184}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1305-6184.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cuza/HirschowitzP12, author = {Tom Hirschowitz and Damien Pous}, title = {Innocent Strategies as Presheaves and Interactive Equivalences for {CCS}}, journal = {Sci. Ann. Comput. Sci.}, volume = {22}, number = {1}, pages = {147--199}, year = {2012}, url = {https://doi.org/10.7561/SACS.2012.1.147}, doi = {10.7561/SACS.2012.1.147}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cuza/HirschowitzP12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1108-0463, author = {Tom Hirschowitz and Damien Pous}, editor = {Alexandra Silva and Simon Bliudze and Roberto Bruni and Marco Carbone}, title = {Innocent strategies as presheaves and interactive equivalences for {CCS}}, booktitle = {Proceedings Fourth Interaction and Concurrency Experience, {ICE} 2011, Reykjavik, Iceland, 9th June 2011}, series = {{EPTCS}}, volume = {59}, pages = {2--24}, year = {2011}, url = {https://doi.org/10.4204/EPTCS.59.2}, doi = {10.4204/EPTCS.59.2}, timestamp = {Thu, 26 Sep 2024 16:29:51 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1108-0463.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1109-4356, author = {Tom Hirschowitz and Damien Pous}, title = {Strategies as sheaves and interactive equivalences for {CCS}}, journal = {CoRR}, volume = {abs/1109.4356}, year = {2011}, url = {http://arxiv.org/abs/1109.4356}, eprinttype = {arXiv}, eprint = {1109.4356}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1109-4356.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/HirschowitzLW09, author = {Tom Hirschowitz and Xavier Leroy and J. B. Wells}, title = {Compilation of extended recursion in call-by-value functional languages}, journal = {High. Order Symb. Comput.}, volume = {22}, number = {1}, pages = {3--66}, year = {2009}, url = {https://doi.org/10.1007/s10990-009-9042-z}, doi = {10.1007/S10990-009-9042-Z}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/HirschowitzLW09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/GarnerHP09, author = {Richard Garner and Tom Hirschowitz and Aur{\'{e}}lien Pardon}, editor = {Mario Bravetti and Gianluigi Zavattaro}, title = {Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs}, booktitle = {{CONCUR} 2009 - Concurrency Theory, 20th International Conference, {CONCUR} 2009, Bologna, Italy, September 1-4, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5710}, pages = {321--337}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04081-8\_22}, doi = {10.1007/978-3-642-04081-8\_22}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/GarnerHP09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/HirschowitzHH09, author = {Andr{\'{e}} Hirschowitz and Michel Hirschowitz and Tom Hirschowitz}, editor = {Samson Abramsky and Michael W. Mislove and Catuscia Palamidessi}, title = {Contraction-free Proofs and Finitary Games for Linear Logic}, booktitle = {Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics, {MFPS} 2009, Oxford, UK, April 3-7, 2009}, series = {Electronic Notes in Theoretical Computer Science}, volume = {249}, pages = {287--305}, publisher = {Elsevier}, year = {2009}, url = {https://doi.org/10.1016/j.entcs.2009.07.095}, doi = {10.1016/J.ENTCS.2009.07.095}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/HirschowitzHH09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:journals/corr/abs-1103-3111, editor = {Tom Hirschowitz}, title = {Proceedings Types for Proofs and Programs, Revised Selected Papers, {TYPES} 2009, Aussois, France, 12-15th May 2009}, series = {{EPTCS}}, volume = {53}, year = {2009}, url = {https://doi.org/10.4204/EPTCS.53}, doi = {10.4204/EPTCS.53}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1103-3111.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-0902-1257, author = {Tom Hirschowitz and Xavier Leroy and J. B. Wells}, title = {Compilation of extended recursion in call-by-value functional languages}, journal = {CoRR}, volume = {abs/0902.1257}, year = {2009}, url = {http://arxiv.org/abs/0902.1257}, eprinttype = {arXiv}, eprint = {0902.1257}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0902-1257.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-0905-4064, author = {Andr{\'{e}} Hirschowitz and Michel Hirschowitz and Tom Hirschowitz}, title = {Contraction-free proofs and finitary games for Linear Logic}, journal = {CoRR}, volume = {abs/0905.4064}, year = {2009}, url = {http://arxiv.org/abs/0905.4064}, eprinttype = {arXiv}, eprint = {0905.4064}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0905-4064.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-0905-4200, author = {Richard Garner and Tom Hirschowitz and Aur{\'{e}}lien Pardon}, title = {Variable binding, symmetric monoidal closed theories, and bigraphs}, journal = {CoRR}, volume = {abs/0905.4200}, year = {2009}, url = {http://arxiv.org/abs/0905.4200}, eprinttype = {arXiv}, eprint = {0905.4200}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0905-4200.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-0906-5446, author = {Daniel Hirschkoff and Aur{\'{e}}lien Pardon and Tom Hirschowitz and Samuel Hym and Damien Pous}, title = {Encapsulation and Dynamic Modularity in the Pi-Calculus}, journal = {CoRR}, volume = {abs/0906.5446}, year = {2009}, url = {http://arxiv.org/abs/0906.5446}, eprinttype = {arXiv}, eprint = {0906.5446}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0906-5446.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/HirschkoffPHHP09, author = {Daniel Hirschkoff and Aur{\'{e}}lien Pardon and Tom Hirschowitz and Samuel Hym and Damien Pous}, editor = {Vasco T. Vasconcelos and Nobuko Yoshida}, title = {Encapsulation and Dynamic Modularity in the pi-calculus}, booktitle = {Proceedings of the First Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES@DisCoTec 2008, Oslo, Norway, June 7, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {241}, pages = {85--100}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/j.entcs.2009.06.005}, doi = {10.1016/J.ENTCS.2009.06.005}, timestamp = {Thu, 09 Mar 2023 13:43:51 +0100}, biburl = {https://dblp.org/rec/journals/entcs/HirschkoffPHHP09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-0807-2636, author = {Andr{\'{e}} Hirschowitz and Michel Hirschowitz and Tom Hirschowitz}, title = {Topological Observations on Multiplicative Additive Linear Logic}, journal = {CoRR}, volume = {abs/0807.2636}, year = {2008}, url = {http://arxiv.org/abs/0807.2636}, eprinttype = {arXiv}, eprint = {0807.2636}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0807-2636.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-0810-4419, author = {Tom Hirschowitz and Aur{\'{e}}lien Pardon}, title = {Binding bigraphs as symmetric monoidal closed theories}, journal = {CoRR}, volume = {abs/0810.4419}, year = {2008}, url = {http://arxiv.org/abs/0810.4419}, eprinttype = {arXiv}, eprint = {0810.4419}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0810-4419.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-0810-4420, author = {Richard Garner and Tom Hirschowitz and Aur{\'{e}}lien Pardon}, title = {Graphical Presentations of Symmetric Monoidal Closed Theories}, journal = {CoRR}, volume = {abs/0810.4420}, year = {2008}, url = {http://arxiv.org/abs/0810.4420}, eprinttype = {arXiv}, eprint = {0810.4420}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0810-4420.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/HirschowitzHH07, author = {Michel Hirschowitz and Andr{\'{e}} Hirschowitz and Tom Hirschowitz}, editor = {Vikraman Arvind and Sanjiva Prasad}, title = {A Theory for Game Theories}, booktitle = {{FSTTCS} 2007: Foundations of Software Technology and Theoretical Computer Science, 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4855}, pages = {192--203}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-77050-3\_16}, doi = {10.1007/978-3-540-77050-3\_16}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/HirschowitzHH07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/toplas/HirschowitzL05, author = {Tom Hirschowitz and Xavier Leroy}, title = {Mixin modules in a call-by-value setting}, journal = {{ACM} Trans. Program. Lang. Syst.}, volume = {27}, number = {5}, pages = {857--881}, year = {2005}, url = {https://doi.org/10.1145/1086642.1086644}, doi = {10.1145/1086642.1086644}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/toplas/HirschowitzL05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gpce/HirschkoffHPSS05, author = {Daniel Hirschkoff and Tom Hirschowitz and Damien Pous and Alan Schmitt and Jean{-}Bernard Stefani}, editor = {Robert Gl{\"{u}}ck and Michael R. Lowry}, title = {Component-Oriented Programming with Sharing: Containment is Not Ownership}, booktitle = {Generative Programming and Component Engineering, 4th International Conference, {GPCE} 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3676}, pages = {389--404}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11561347\_26}, doi = {10.1007/11561347\_26}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/gpce/HirschkoffHPSS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/HirschowitzLW04, author = {Tom Hirschowitz and Xavier Leroy and J. B. Wells}, editor = {David A. Schmidt}, title = {Call-by-Value Mixin Modules: Reduction Semantics, Side Effects, Types}, booktitle = {Programming Languages and Systems, 13th European Symposium on Programming, {ESOP} 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2986}, pages = {64--78}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-24725-8\_6}, doi = {10.1007/978-3-540-24725-8\_6}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/esop/HirschowitzLW04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/flops/Hirschowitz04, author = {Tom Hirschowitz}, editor = {Yukiyoshi Kameyama and Peter J. Stuckey}, title = {Rigid Mixin Modules}, booktitle = {Functional and Logic Programming, 7th International Symposium, {FLOPS} 2004, Nara, Japan, April 7-9, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2998}, pages = {214--228}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-24754-8\_16}, doi = {10.1007/978-3-540-24754-8\_16}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/flops/Hirschowitz04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/HirschowitzLW03, author = {Tom Hirschowitz and Xavier Leroy and J. B. Wells}, title = {Compilation of extended recursion in call-by-value functional languages}, booktitle = {Proceedings of the 5th International {ACM} {SIGPLAN} Conference on Principles and Practice of Declarative Programming, 27-29 August 2003, Uppsala, Sweden}, pages = {160--171}, publisher = {{ACM}}, year = {2003}, url = {https://doi.org/10.1145/888251.888267}, doi = {10.1145/888251.888267}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ppdp/HirschowitzLW03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/HirschowitzL02, author = {Tom Hirschowitz and Xavier Leroy}, editor = {Daniel Le M{\'{e}}tayer}, title = {Mixin Modules in a Call-by-Value Setting}, booktitle = {Programming Languages and Systems, 11th European Symposium on Programming, {ESOP} 2002, held as Part of the Joint European Conference on Theory and Practice of Software, {ETAPS} 2002, Grenoble, France, April 8-12, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2305}, pages = {6--20}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45927-8\_2}, doi = {10.1007/3-540-45927-8\_2}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/esop/HirschowitzL02.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.