Search dblp for Publications

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

 download as .bib file

@proceedings{DBLP:journals/corr/abs-2204-03415,
  editor       = {Mauricio Ayala{-}Rinc{\'{o}}n and
                  Eduardo Bonelli},
  title        = {Proceedings 16th Logical and Semantic Frameworks with Applications,
                  {LSFA} 2021, Buenos Aires, Argentina (Online), 23rd - 24th July, 2021},
  series       = {{EPTCS}},
  volume       = {357},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.357},
  doi          = {10.4204/EPTCS.357},
  timestamp    = {Tue, 03 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2204-03415.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2105-03389,
  author       = {Patricia Johann and
                  Enrico Ghiorzi and
                  Daniel Jeffries},
  editor       = {Mauricio Ayala{-}Rinc{\'{o}}n and
                  Eduardo Bonelli},
  title        = {GADTs, Functoriality, Parametricity: Pick Two},
  booktitle    = {Proceedings 16th Logical and Semantic Frameworks with Applications,
                  {LSFA} 2021, Buenos Aires, Argentina (Online), 23rd - 24th July, 2021},
  series       = {{EPTCS}},
  volume       = {357},
  pages        = {77--92},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.357.6},
  doi          = {10.4204/EPTCS.357.6},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2105-03389.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2106-06633,
  author       = {Rafael Romero and
                  Alejandro D{\'{\i}}az{-}Caro},
  editor       = {Mauricio Ayala{-}Rinc{\'{o}}n and
                  Eduardo Bonelli},
  title        = {A note on confluence in typed probabilistic lambda calculi},
  booktitle    = {Proceedings 16th Logical and Semantic Frameworks with Applications,
                  {LSFA} 2021, Buenos Aires, Argentina (Online), 23rd - 24th July, 2021},
  series       = {{EPTCS}},
  volume       = {357},
  pages        = {18--24},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.357.2},
  doi          = {10.4204/EPTCS.357.2},
  timestamp    = {Mon, 16 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2106-06633.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2106-09883,
  author       = {Joel Gomes and
                  Vitor Greati and
                  S{\'{e}}rgio Marcelino and
                  Jo{\~{a}}o Marcos and
                  Umberto Rivieccio},
  editor       = {Mauricio Ayala{-}Rinc{\'{o}}n and
                  Eduardo Bonelli},
  title        = {On Logics of Perfect Paradefinite Algebras},
  booktitle    = {Proceedings 16th Logical and Semantic Frameworks with Applications,
                  {LSFA} 2021, Buenos Aires, Argentina (Online), 23rd - 24th July, 2021},
  series       = {{EPTCS}},
  volume       = {357},
  pages        = {56--76},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.357.5},
  doi          = {10.4204/EPTCS.357.5},
  timestamp    = {Tue, 03 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2106-09883.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2110-03964,
  author       = {Daniele Nantes and
                  Carlos Olarte and
                  Daniel Ventura},
  editor       = {Mauricio Ayala{-}Rinc{\'{o}}n and
                  Eduardo Bonelli},
  title        = {A subexponential view of domains in session types},
  booktitle    = {Proceedings 16th Logical and Semantic Frameworks with Applications,
                  {LSFA} 2021, Buenos Aires, Argentina (Online), 23rd - 24th July, 2021},
  series       = {{EPTCS}},
  volume       = {357},
  pages        = {93--111},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.357.7},
  doi          = {10.4204/EPTCS.357.7},
  timestamp    = {Tue, 03 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2110-03964.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2204-03882,
  author       = {Juan Carlos Agudelo Agudelo and
                  Andr{\'{e}}s Sicard{-}Ram{\'{\i}}rez},
  editor       = {Mauricio Ayala{-}Rinc{\'{o}}n and
                  Eduardo Bonelli},
  title        = {About Opposition and Duality in Paraconsistent Type Theory},
  booktitle    = {Proceedings 16th Logical and Semantic Frameworks with Applications,
                  {LSFA} 2021, Buenos Aires, Argentina (Online), 23rd - 24th July, 2021},
  series       = {{EPTCS}},
  volume       = {357},
  pages        = {25--37},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.357.3},
  doi          = {10.4204/EPTCS.357.3},
  timestamp    = {Tue, 03 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2204-03882.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2204-03884,
  author       = {Asta Halkj{\ae}r From and
                  Frederik Krogsdal Jacobsen and
                  J{\o}rgen Villadsen},
  editor       = {Mauricio Ayala{-}Rinc{\'{o}}n and
                  Eduardo Bonelli},
  title        = {SeCaV: {A} Sequent Calculus Verifier in Isabelle/HOL},
  booktitle    = {Proceedings 16th Logical and Semantic Frameworks with Applications,
                  {LSFA} 2021, Buenos Aires, Argentina (Online), 23rd - 24th July, 2021},
  series       = {{EPTCS}},
  volume       = {357},
  pages        = {38--55},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.357.4},
  doi          = {10.4204/EPTCS.357.4},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2204-03884.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2204-03885,
  author       = {Alejandro D{\'{\i}}az{-}Caro},
  editor       = {Mauricio Ayala{-}Rinc{\'{o}}n and
                  Eduardo Bonelli},
  title        = {A Quick Overview on the Quantum Control Approach to the Lambda Calculus},
  booktitle    = {Proceedings 16th Logical and Semantic Frameworks with Applications,
                  {LSFA} 2021, Buenos Aires, Argentina (Online), 23rd - 24th July, 2021},
  series       = {{EPTCS}},
  volume       = {357},
  pages        = {1--17},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.357.1},
  doi          = {10.4204/EPTCS.357.1},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2204-03885.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.