Search dblp for Publications

export results for "toc:db/conf/rta/fscd2019.bht:"

 download as .bib file

@inproceedings{DBLP:conf/rta/0001K19,
  author       = {Lukasz Czajka and
                  Cynthia Kop},
  editor       = {Herman Geuvers},
  title        = {Polymorphic Higher-Order Termination},
  booktitle    = {4th International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2019, June 24-30, 2019, Dortmund, Germany},
  series       = {LIPIcs},
  volume       = {131},
  pages        = {12:1--12:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2019},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2019.12},
  doi          = {10.4230/LIPICS.FSCD.2019.12},
  timestamp    = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl       = {https://dblp.org/rec/conf/rta/0001K19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Accattoli19,
  author       = {Beniamino Accattoli},
  editor       = {Herman Geuvers},
  title        = {A Fresh Look at the lambda-Calculus (Invited Talk)},
  booktitle    = {4th International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2019, June 24-30, 2019, Dortmund, Germany},
  series       = {LIPIcs},
  volume       = {131},
  pages        = {1:1--1:20},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2019},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2019.1},
  doi          = {10.4230/LIPICS.FSCD.2019.1},
  timestamp    = {Tue, 18 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Accattoli19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/AhrensFMW19,
  author       = {Benedikt Ahrens and
                  Dan Frumin and
                  Marco Maggesi and
                  Niels van der Weide},
  editor       = {Herman Geuvers},
  title        = {Bicategories in Univalent Foundations},
  booktitle    = {4th International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2019, June 24-30, 2019, Dortmund, Germany},
  series       = {LIPIcs},
  volume       = {131},
  pages        = {5:1--5:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2019},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2019.5},
  doi          = {10.4230/LIPICS.FSCD.2019.5},
  timestamp    = {Fri, 05 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/AhrensFMW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/AhrensHLM19,
  author       = {Benedikt Ahrens and
                  Andr{\'{e}} Hirschowitz and
                  Ambroise Lafont and
                  Marco Maggesi},
  editor       = {Herman Geuvers},
  title        = {Modular Specification of Monads Through Higher-Order Presentations},
  booktitle    = {4th International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2019, June 24-30, 2019, Dortmund, Germany},
  series       = {LIPIcs},
  volume       = {131},
  pages        = {6:1--6:19},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2019},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2019.6},
  doi          = {10.4230/LIPICS.FSCD.2019.6},
  timestamp    = {Fri, 05 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/AhrensHLM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Bendkowski19,
  author       = {Maciej Bendkowski},
  editor       = {Herman Geuvers},
  title        = {Towards the Average-Case Analysis of Substitution Resolution in Lambda-Calculus},
  booktitle    = {4th International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2019, June 24-30, 2019, Dortmund, Germany},
  series       = {LIPIcs},
  volume       = {131},
  pages        = {7:1--7:21},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2019},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2019.7},
  doi          = {10.4230/LIPICS.FSCD.2019.7},
  timestamp    = {Tue, 18 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Bendkowski19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/BiernackaC19,
  author       = {Malgorzata Biernacka and
                  Witold Charatonik},
  editor       = {Herman Geuvers},
  title        = {Deriving an Abstract Machine for Strong Call by Need},
  booktitle    = {4th International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2019, June 24-30, 2019, Dortmund, Germany},
  series       = {LIPIcs},
  volume       = {131},
  pages        = {8:1--8:20},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2019},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2019.8},
  doi          = {10.4230/LIPICS.FSCD.2019.8},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/BiernackaC19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/BlanquiGH19,
  author       = {Fr{\'{e}}d{\'{e}}ric Blanqui and
                  Guillaume Genestier and
                  Olivier Hermant},
  editor       = {Herman Geuvers},
  title        = {Dependency Pairs Termination in Dependent Type Theory Modulo Rewriting},
  booktitle    = {4th International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2019, June 24-30, 2019, Dortmund, Germany},
  series       = {LIPIcs},
  volume       = {131},
  pages        = {9:1--9:21},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2019},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2019.9},
  doi          = {10.4230/LIPICS.FSCD.2019.9},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/BlanquiGH19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/CernaK19,
  author       = {David M. Cerna and
                  Temur Kutsia},
  editor       = {Herman Geuvers},
  title        = {A Generic Framework for Higher-Order Generalizations},
  booktitle    = {4th International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2019, June 24-30, 2019, Dortmund, Germany},
  series       = {LIPIcs},
  volume       = {131},
  pages        = {10:1--10:19},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2019},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2019.10},
  doi          = {10.4230/LIPICS.FSCD.2019.10},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/CernaK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/CiaffaglioneGHL19,
  author       = {Alberto Ciaffaglione and
                  Pietro Di Gianantonio and
                  Furio Honsell and
                  Marina Lenisa and
                  Ivan Scagnetto},
  editor       = {Herman Geuvers},
  title        = {lambda!-calculus, Intersection Types, and Involutions},
  booktitle    = {4th International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2019, June 24-30, 2019, Dortmund, Germany},
  series       = {LIPIcs},
  volume       = {131},
  pages        = {15:1--15:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2019},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2019.15},
  doi          = {10.4230/LIPICS.FSCD.2019.15},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/CiaffaglioneGHL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/CoquandHS19,
  author       = {Thierry Coquand and
                  Simon Huber and
                  Christian Sattler},
  editor       = {Herman Geuvers},
  title        = {Homotopy Canonicity for Cubical Type Theory},
  booktitle    = {4th International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2019, June 24-30, 2019, Dortmund, Germany},
  series       = {LIPIcs},
  volume       = {131},
  pages        = {11:1--11:23},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2019},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2019.11},
  doi          = {10.4230/LIPICS.FSCD.2019.11},
  timestamp    = {Tue, 18 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/CoquandHS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Diaz-CaroD19,
  author       = {Alejandro D{\'{\i}}az{-}Caro and
                  Gilles Dowek},
  editor       = {Herman Geuvers},
  title        = {Proof Normalisation in a Logic Identifying Isomorphic Propositions},
  booktitle    = {4th International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2019, June 24-30, 2019, Dortmund, Germany},
  series       = {LIPIcs},
  volume       = {131},
  pages        = {14:1--14:23},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2019},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2019.14},
  doi          = {10.4230/LIPICS.FSCD.2019.14},
  timestamp    = {Fri, 05 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Diaz-CaroD19.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    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/EberhartHL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Ehrhard19,
  author       = {Thomas Ehrhard},
  editor       = {Herman Geuvers},
  title        = {Differentials and Distances in Probabilistic Coherence Spaces},
  booktitle    = {4th International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2019, June 24-30, 2019, Dortmund, Germany},
  series       = {LIPIcs},
  volume       = {131},
  pages        = {17:1--17:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2019},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2019.17},
  doi          = {10.4230/LIPICS.FSCD.2019.17},
  timestamp    = {Fri, 05 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Ehrhard19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Faggian19,
  author       = {Claudia Faggian},
  editor       = {Herman Geuvers},
  title        = {Probabilistic Rewriting: Normalization, Termination, and Unique Normal
                  Forms},
  booktitle    = {4th International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2019, June 24-30, 2019, Dortmund, Germany},
  series       = {LIPIcs},
  volume       = {131},
  pages        = {19:1--19:25},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2019},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2019.19},
  doi          = {10.4230/LIPICS.FSCD.2019.19},
  timestamp    = {Tue, 18 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Faggian19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Felty19,
  author       = {Amy P. Felty},
  editor       = {Herman Geuvers},
  title        = {A Linear Logical Framework in Hybrid (Invited Talk)},
  booktitle    = {4th International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2019, June 24-30, 2019, Dortmund, Germany},
  series       = {LIPIcs},
  volume       = {131},
  pages        = {2:1--2:2},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2019},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2019.2},
  doi          = {10.4230/LIPICS.FSCD.2019.2},
  timestamp    = {Fri, 05 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Felty19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/FukudaY19,
  author       = {Yosuke Fukuda and
                  Akira Yoshimizu},
  editor       = {Herman Geuvers},
  title        = {A Linear-Logical Reconstruction of Intuitionistic Modal Logic {S4}},
  booktitle    = {4th International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2019, June 24-30, 2019, Dortmund, Germany},
  series       = {LIPIcs},
  volume       = {131},
  pages        = {20:1--20:24},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2019},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2019.20},
  doi          = {10.4230/LIPICS.FSCD.2019.20},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/FukudaY19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/GeserHW19,
  author       = {Alfons Geser and
                  Dieter Hofbauer and
                  Johannes Waldmann},
  editor       = {Herman Geuvers},
  title        = {Sparse Tiling Through Overlap Closures for Termination of String Rewriting},
  booktitle    = {4th International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2019, June 24-30, 2019, Dortmund, Germany},
  series       = {LIPIcs},
  volume       = {131},
  pages        = {21:1--21:21},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2019},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2019.21},
  doi          = {10.4230/LIPICS.FSCD.2019.21},
  timestamp    = {Tue, 18 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/GeserHW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/HeijltjesHS19,
  author       = {Willem Heijltjes and
                  Dominic J. D. Hughes and
                  Lutz Stra{\ss}burger},
  editor       = {Herman Geuvers},
  title        = {Proof Nets for First-Order Additive Linear Logic},
  booktitle    = {4th International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2019, June 24-30, 2019, Dortmund, Germany},
  series       = {LIPIcs},
  volume       = {131},
  pages        = {22:1--22:22},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2019},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2019.22},
  doi          = {10.4230/LIPICS.FSCD.2019.22},
  timestamp    = {Tue, 18 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/HeijltjesHS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Horne19,
  author       = {Ross Horne},
  editor       = {Herman Geuvers},
  title        = {The Sub-Additives: {A} Proof Theory for Probabilistic Choice extending
                  Linear Logic},
  booktitle    = {4th International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2019, June 24-30, 2019, Dortmund, Germany},
  series       = {LIPIcs},
  volume       = {131},
  pages        = {23:1--23:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2019},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2019.23},
  doi          = {10.4230/LIPICS.FSCD.2019.23},
  timestamp    = {Fri, 05 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Horne19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Ikebuchi19,
  author       = {Mirai Ikebuchi},
  editor       = {Herman Geuvers},
  title        = {A Lower Bound of the Number of Rewrite Rules Obtained by Homological
                  Methods},
  booktitle    = {4th International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2019, June 24-30, 2019, Dortmund, Germany},
  series       = {LIPIcs},
  volume       = {131},
  pages        = {24:1--24:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2019},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2019.24},
  doi          = {10.4230/LIPICS.FSCD.2019.24},
  timestamp    = {Tue, 18 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Ikebuchi19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/KaposiHS19,
  author       = {Ambrus Kaposi and
                  Simon Huber and
                  Christian Sattler},
  editor       = {Herman Geuvers},
  title        = {Gluing for Type Theory},
  booktitle    = {4th International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2019, June 24-30, 2019, Dortmund, Germany},
  series       = {LIPIcs},
  volume       = {131},
  pages        = {25:1--25:19},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2019},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2019.25},
  doi          = {10.4230/LIPICS.FSCD.2019.25},
  timestamp    = {Fri, 05 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/KaposiHS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/KasterovicP19,
  author       = {Simona Kasterovic and
                  Michele Pagani},
  editor       = {Herman Geuvers},
  title        = {The Discriminating Power of the Let-In Operator in the Lazy Call-by-Name
                  Probabilistic lambda-Calculus},
  booktitle    = {4th International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2019, June 24-30, 2019, Dortmund, Germany},
  series       = {LIPIcs},
  volume       = {131},
  pages        = {26:1--26:20},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2019},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2019.26},
  doi          = {10.4230/LIPICS.FSCD.2019.26},
  timestamp    = {Sun, 17 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rta/KasterovicP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/LagoL19,
  author       = {Ugo Dal Lago and
                  Thomas Leventis},
  editor       = {Herman Geuvers},
  title        = {On the Taylor Expansion of Probabilistic lambda-terms},
  booktitle    = {4th International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2019, June 24-30, 2019, Dortmund, Germany},
  series       = {LIPIcs},
  volume       = {131},
  pages        = {13:1--13:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2019},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2019.13},
  doi          = {10.4230/LIPICS.FSCD.2019.13},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rta/LagoL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Larchey-Wendling19,
  author       = {Dominique Larchey{-}Wendling and
                  Yannick Forster},
  editor       = {Herman Geuvers},
  title        = {Hilbert's Tenth Problem in Coq},
  booktitle    = {4th International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2019, June 24-30, 2019, Dortmund, Germany},
  series       = {LIPIcs},
  volume       = {131},
  pages        = {27:1--27:20},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2019},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2019.27},
  doi          = {10.4230/LIPICS.FSCD.2019.27},
  timestamp    = {Fri, 05 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Larchey-Wendling19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/LiquoriS19,
  author       = {Luigi Liquori and
                  Claude Stolze},
  editor       = {Herman Geuvers},
  title        = {The Delta-calculus: Syntax and Types},
  booktitle    = {4th International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2019, June 24-30, 2019, Dortmund, Germany},
  series       = {LIPIcs},
  volume       = {131},
  pages        = {28:1--28:20},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2019},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2019.28},
  doi          = {10.4230/LIPICS.FSCD.2019.28},
  timestamp    = {Tue, 18 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/LiquoriS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Naurois19,
  author       = {Paulin Jacob{\'{e}} de Naurois},
  editor       = {Herman Geuvers},
  title        = {Pointers in Recursion: Exploring the Tropics},
  booktitle    = {4th International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2019, June 24-30, 2019, Dortmund, Germany},
  series       = {LIPIcs},
  volume       = {131},
  pages        = {29:1--29:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2019},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2019.29},
  doi          = {10.4230/LIPICS.FSCD.2019.29},
  timestamp    = {Tue, 18 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Naurois19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/PirogPS19,
  author       = {Maciej Pir{\'{o}}g and
                  Piotr Polesiuk and
                  Filip Sieczkowski},
  editor       = {Herman Geuvers},
  title        = {Typed Equivalence of Effect Handlers and Delimited Control},
  booktitle    = {4th International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2019, June 24-30, 2019, Dortmund, Germany},
  series       = {LIPIcs},
  volume       = {131},
  pages        = {30:1--30:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2019},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2019.30},
  doi          = {10.4230/LIPICS.FSCD.2019.30},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/PirogPS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/RubioMPV19,
  author       = {Rub{\'{e}}n Rubio and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Isabel Pita and
                  Alberto Verdejo},
  editor       = {Herman Geuvers},
  title        = {Model Checking Strategy-Controlled Rewriting Systems (System Description)},
  booktitle    = {4th International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2019, June 24-30, 2019, Dortmund, Germany},
  series       = {LIPIcs},
  volume       = {131},
  pages        = {34:1--34:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2019},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2019.34},
  doi          = {10.4230/LIPICS.FSCD.2019.34},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/RubioMPV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/SantoPU19,
  author       = {Jos{\'{e}} Esp{\'{\i}}rito Santo and
                  Lu{\'{\i}}s Pinto and
                  Tarmo Uustalu},
  editor       = {Herman Geuvers},
  title        = {Modal Embeddings and Calling Paradigms},
  booktitle    = {4th International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2019, June 24-30, 2019, Dortmund, Germany},
  series       = {LIPIcs},
  volume       = {131},
  pages        = {18:1--18:20},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2019},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2019.18},
  doi          = {10.4230/LIPICS.FSCD.2019.18},
  timestamp    = {Fri, 17 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/SantoPU19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/SterlingAG19,
  author       = {Jonathan Sterling and
                  Carlo Angiuli and
                  Daniel Gratzer},
  editor       = {Herman Geuvers},
  title        = {Cubical Syntax for Reflection-Free Extensional Equality},
  booktitle    = {4th International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2019, June 24-30, 2019, Dortmund, Germany},
  series       = {LIPIcs},
  volume       = {131},
  pages        = {31:1--31:25},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2019},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2019.31},
  doi          = {10.4230/LIPICS.FSCD.2019.31},
  timestamp    = {Fri, 05 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/SterlingAG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/VeltriW19,
  author       = {Niccol{\`{o}} Veltri and
                  Niels van der Weide},
  editor       = {Herman Geuvers},
  title        = {Guarded Recursion in Agda via Sized Types},
  booktitle    = {4th International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2019, June 24-30, 2019, Dortmund, Germany},
  series       = {LIPIcs},
  volume       = {131},
  pages        = {32:1--32:19},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2019},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2019.32},
  doi          = {10.4230/LIPICS.FSCD.2019.32},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/VeltriW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Vial19,
  author       = {Pierre Vial},
  editor       = {Herman Geuvers},
  title        = {Sequence Types for Hereditary Permutators},
  booktitle    = {4th International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2019, June 24-30, 2019, Dortmund, Germany},
  series       = {LIPIcs},
  volume       = {131},
  pages        = {33:1--33:15},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2019},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2019.33},
  doi          = {10.4230/LIPICS.FSCD.2019.33},
  timestamp    = {Tue, 09 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Vial19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Winkler19,
  author       = {Sarah Winkler},
  editor       = {Herman Geuvers},
  title        = {Extending Maximal Completion (Invited Talk)},
  booktitle    = {4th International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2019, June 24-30, 2019, Dortmund, Germany},
  series       = {LIPIcs},
  volume       = {131},
  pages        = {3:1--3:15},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2019},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2019.3},
  doi          = {10.4230/LIPICS.FSCD.2019.3},
  timestamp    = {Fri, 05 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Winkler19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/X19,
  editor       = {Herman Geuvers},
  title        = {Front Matter, Table of Contents, Preface, Conference Organization},
  booktitle    = {4th International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2019, June 24-30, 2019, Dortmund, Germany},
  series       = {LIPIcs},
  volume       = {131},
  pages        = {0:1--0:20},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2019},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2019.0},
  doi          = {10.4230/LIPICS.FSCD.2019.0},
  timestamp    = {Tue, 18 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/X19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Yang19,
  author       = {Hongseok Yang},
  editor       = {Herman Geuvers},
  title        = {Some Semantic Issues in Probabilistic Programming Languages (Invited
                  Talk)},
  booktitle    = {4th International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2019, June 24-30, 2019, Dortmund, Germany},
  series       = {LIPIcs},
  volume       = {131},
  pages        = {4:1--4:6},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2019},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2019.4},
  doi          = {10.4230/LIPICS.FSCD.2019.4},
  timestamp    = {Tue, 18 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Yang19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/rta/2019,
  editor       = {Herman Geuvers},
  title        = {4th International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2019, June 24-30, 2019, Dortmund, Germany},
  series       = {LIPIcs},
  volume       = {131},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2019},
  url          = {http://www.dagstuhl.de/dagpub/978-3-95977-107-8},
  isbn         = {978-3-95977-107-8},
  timestamp    = {Tue, 11 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rta/2019.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.