Search dblp for Publications

export results for "toc:db/series/eptcs/eptcs353.bht:"

 download as .bib file

@proceedings{DBLP:journals/corr/abs-2112-14305,
  editor       = {Ugo Dal Lago and
                  Valeria de Paiva},
  title        = {Proceedings Second Joint International Workshop on Linearity {\&}
                  Trends in Linear Logic and Applications, Linearity{\&}TLLA@IJCAR-FSCD
                  2020, Online, 29-30 June 2020},
  series       = {{EPTCS}},
  volume       = {353},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.353},
  doi          = {10.4204/EPTCS.353},
  timestamp    = {Thu, 17 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2112-14305.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2004-08487,
  author       = {Michael Shulman},
  editor       = {Ugo Dal Lago and
                  Valeria de Paiva},
  title        = {*-autonomous envelopes},
  booktitle    = {Proceedings Second Joint International Workshop on Linearity {\&}
                  Trends in Linear Logic and Applications, Linearity{\&}TLLA@IJCAR-FSCD
                  2020, Online, 29-30 June 2020},
  series       = {{EPTCS}},
  volume       = {353},
  pages        = {175--194},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.353.9},
  doi          = {10.4204/EPTCS.353.9},
  timestamp    = {Thu, 17 Mar 2022 16:11:43 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2004-08487.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2005-02247,
  author       = {James Wood and
                  Robert Atkey},
  editor       = {Ugo Dal Lago and
                  Valeria de Paiva},
  title        = {A Linear Algebra Approach to Linear Metatheory},
  booktitle    = {Proceedings Second Joint International Workshop on Linearity {\&}
                  Trends in Linear Logic and Applications, Linearity{\&}TLLA@IJCAR-FSCD
                  2020, Online, 29-30 June 2020},
  series       = {{EPTCS}},
  volume       = {353},
  pages        = {195--212},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.353.10},
  doi          = {10.4204/EPTCS.353.10},
  timestamp    = {Thu, 17 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2005-02247.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2104-13739,
  author       = {Gianluca Curzi},
  editor       = {Ugo Dal Lago and
                  Valeria de Paiva},
  title        = {Linear Additives},
  booktitle    = {Proceedings Second Joint International Workshop on Linearity {\&}
                  Trends in Linear Logic and Applications, Linearity{\&}TLLA@IJCAR-FSCD
                  2020, Online, 29-30 June 2020},
  series       = {{EPTCS}},
  volume       = {353},
  pages        = {74--93},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.353.4},
  doi          = {10.4204/EPTCS.353.4},
  timestamp    = {Thu, 17 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2104-13739.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2112-14961,
  author       = {Christian Retor{\'{e}}},
  editor       = {Ugo Dal Lago and
                  Valeria de Paiva},
  title        = {Flag: a Self-Dual Modality for Non-Commutative Contraction and Duplication
                  in the Category of Coherence Spaces},
  booktitle    = {Proceedings Second Joint International Workshop on Linearity {\&}
                  Trends in Linear Logic and Applications, Linearity{\&}TLLA@IJCAR-FSCD
                  2020, Online, 29-30 June 2020},
  series       = {{EPTCS}},
  volume       = {353},
  pages        = {157--174},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.353.8},
  doi          = {10.4204/EPTCS.353.8},
  timestamp    = {Thu, 17 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2112-14961.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2112-14962,
  author       = {Matteo Acclavio},
  editor       = {Ugo Dal Lago and
                  Valeria de Paiva},
  title        = {Exponentially Handsome Proof Nets and Their Normalization},
  booktitle    = {Proceedings Second Joint International Workshop on Linearity {\&}
                  Trends in Linear Logic and Applications, Linearity{\&}TLLA@IJCAR-FSCD
                  2020, Online, 29-30 June 2020},
  series       = {{EPTCS}},
  volume       = {353},
  pages        = {1--25},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.353.1},
  doi          = {10.4204/EPTCS.353.1},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2112-14962.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2112-14963,
  author       = {Matteo Acclavio and
                  Giulio Guerrieri},
  editor       = {Ugo Dal Lago and
                  Valeria de Paiva},
  title        = {A Deep Inference System for Differential Linear Logic},
  booktitle    = {Proceedings Second Joint International Workshop on Linearity {\&}
                  Trends in Linear Logic and Applications, Linearity{\&}TLLA@IJCAR-FSCD
                  2020, Online, 29-30 June 2020},
  series       = {{EPTCS}},
  volume       = {353},
  pages        = {26--49},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.353.2},
  doi          = {10.4204/EPTCS.353.2},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2112-14963.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2112-14964,
  author       = {Esa{\"{\i}}e Bauer and
                  Olivier Laurent},
  editor       = {Ugo Dal Lago and
                  Valeria de Paiva},
  title        = {Super Exponentials in Linear Logic},
  booktitle    = {Proceedings Second Joint International Workshop on Linearity {\&}
                  Trends in Linear Logic and Applications, Linearity{\&}TLLA@IJCAR-FSCD
                  2020, Online, 29-30 June 2020},
  series       = {{EPTCS}},
  volume       = {353},
  pages        = {50--73},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.353.3},
  doi          = {10.4204/EPTCS.353.3},
  timestamp    = {Mon, 06 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2112-14964.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2112-14965,
  author       = {Masahito Hasegawa},
  editor       = {Ugo Dal Lago and
                  Valeria de Paiva},
  title        = {A Braided Lambda Calculus},
  booktitle    = {Proceedings Second Joint International Workshop on Linearity {\&}
                  Trends in Linear Logic and Applications, Linearity{\&}TLLA@IJCAR-FSCD
                  2020, Online, 29-30 June 2020},
  series       = {{EPTCS}},
  volume       = {353},
  pages        = {94--108},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.353.5},
  doi          = {10.4204/EPTCS.353.5},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2112-14965.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2112-14966,
  author       = {Jack Hughes and
                  Michael Vollmer and
                  Dominic Orchard},
  editor       = {Ugo Dal Lago and
                  Valeria de Paiva},
  title        = {Deriving Distributive Laws for Graded Linear Types},
  booktitle    = {Proceedings Second Joint International Workshop on Linearity {\&}
                  Trends in Linear Logic and Applications, Linearity{\&}TLLA@IJCAR-FSCD
                  2020, Online, 29-30 June 2020},
  series       = {{EPTCS}},
  volume       = {353},
  pages        = {109--131},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.353.6},
  doi          = {10.4204/EPTCS.353.6},
  timestamp    = {Wed, 22 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2112-14966.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2112-14967,
  author       = {Alberto Naibo and
                  Yuta Takahashi},
  editor       = {Ugo Dal Lago and
                  Valeria de Paiva},
  title        = {Harmony in the Light of Computational Ludics},
  booktitle    = {Proceedings Second Joint International Workshop on Linearity {\&}
                  Trends in Linear Logic and Applications, Linearity{\&}TLLA@IJCAR-FSCD
                  2020, Online, 29-30 June 2020},
  series       = {{EPTCS}},
  volume       = {353},
  pages        = {132--156},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.353.7},
  doi          = {10.4204/EPTCS.353.7},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2112-14967.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.