default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "Tom Hirschowitz"
download as .bib file
@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 = {Mon, 29 Apr 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 = {Sat, 30 Sep 2023 09:52:07 +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, 23 Jun 2022 01:00:00 +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.
retrieved on 2024-09-17 01:30 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:
