Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/fscd/fscd2023.bht:"
download as .bib file
@inproceedings{DBLP:conf/fscd/000123,
author = {Sergey Goncharov},
editor = {Marco Gaboardi and
Femke van Raamsdonk},
title = {Representing Guardedness in Call-By-Value},
booktitle = {8th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2023, July 3-6, 2023, Rome, Italy},
series = {LIPIcs},
volume = {260},
pages = {34:1--34:21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2023.34},
doi = {10.4230/LIPICS.FSCD.2023.34},
timestamp = {Fri, 30 Jun 2023 14:36:11 +0200},
biburl = {https://dblp.org/rec/conf/fscd/000123.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/000223,
author = {Akihisa Yamada},
editor = {Marco Gaboardi and
Femke van Raamsdonk},
title = {Termination of Term Rewriting: Foundation, Formalization, Implementation,
and Competition (Invited Talk)},
booktitle = {8th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2023, July 3-6, 2023, Rome, Italy},
series = {LIPIcs},
volume = {260},
pages = {4:1--4:5},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2023.4},
doi = {10.4230/LIPICS.FSCD.2023.4},
timestamp = {Fri, 30 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/000223.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/0002M23,
author = {Anupam Das and
Lukas Melgaard},
editor = {Marco Gaboardi and
Femke van Raamsdonk},
title = {Cyclic Proofs for Arithmetical Inductive Definitions},
booktitle = {8th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2023, July 3-6, 2023, Rome, Italy},
series = {LIPIcs},
volume = {260},
pages = {27:1--27:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2023.27},
doi = {10.4230/LIPICS.FSCD.2023.27},
timestamp = {Fri, 30 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/0002M23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/AltenkirchKSV23,
author = {Thorsten Altenkirch and
Ambrus Kaposi and
Artjoms Sinkarovs and
Tam{\'{a}}s V{\'{e}}gh},
editor = {Marco Gaboardi and
Femke van Raamsdonk},
title = {Combinatory Logic and Lambda Calculus Are Equal, Algebraically},
booktitle = {8th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2023, July 3-6, 2023, Rome, Italy},
series = {LIPIcs},
volume = {260},
pages = {24:1--24:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2023.24},
doi = {10.4230/LIPICS.FSCD.2023.24},
timestamp = {Fri, 30 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/AltenkirchKSV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/BarenbaumS23,
author = {Pablo Barenbaum and
Cristian Sottile},
editor = {Marco Gaboardi and
Femke van Raamsdonk},
title = {Two Decreasing Measures for Simply Typed {\(\lambda\)}-Terms},
booktitle = {8th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2023, July 3-6, 2023, Rome, Italy},
series = {LIPIcs},
volume = {260},
pages = {11:1--11:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2023.11},
doi = {10.4230/LIPICS.FSCD.2023.11},
timestamp = {Fri, 30 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/BarenbaumS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/BeffaraCGM23,
author = {Emmanuel Beffara and
F{\'{e}}lix Castro and
Mauricio Guillermo and
{\'{E}}tienne Miquey},
editor = {Marco Gaboardi and
Femke van Raamsdonk},
title = {Concurrent Realizability on Conjunctive Structures},
booktitle = {8th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2023, July 3-6, 2023, Rome, Italy},
series = {LIPIcs},
volume = {260},
pages = {28:1--28:21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2023.28},
doi = {10.4230/LIPICS.FSCD.2023.28},
timestamp = {Fri, 30 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/BeffaraCGM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/BehrMZ23,
author = {Nicolas Behr and
Paul{-}Andr{\'{e}} Melli{\`{e}}s and
Noam Zeilberger},
editor = {Marco Gaboardi and
Femke van Raamsdonk},
title = {Convolution Products on Double Categories and Categorification of
Rule Algebras},
booktitle = {8th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2023, July 3-6, 2023, Rome, Italy},
series = {LIPIcs},
volume = {260},
pages = {17:1--17:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2023.17},
doi = {10.4230/LIPICS.FSCD.2023.17},
timestamp = {Fri, 30 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/BehrMZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/Blondeau-Patissier23,
author = {Lison Blondeau{-}Patissier and
Pierre Clairambault and
Lionel Vaux Auclair},
editor = {Marco Gaboardi and
Femke van Raamsdonk},
title = {Strategies as Resource Terms, and Their Categorical Semantics},
booktitle = {8th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2023, July 3-6, 2023, Rome, Italy},
series = {LIPIcs},
volume = {260},
pages = {13:1--13:22},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2023.13},
doi = {10.4230/LIPICS.FSCD.2023.13},
timestamp = {Fri, 30 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/Blondeau-Patissier23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/Blot23,
author = {Valentin Blot},
editor = {Marco Gaboardi and
Femke van Raamsdonk},
title = {Diller-Nahm Bar Recursion},
booktitle = {8th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2023, July 3-6, 2023, Rome, Italy},
series = {LIPIcs},
volume = {260},
pages = {32:1--32:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2023.32},
doi = {10.4230/LIPICS.FSCD.2023.32},
timestamp = {Fri, 30 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/Blot23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/BocquetKS23,
author = {Rafa{\"{e}}l Bocquet and
Ambrus Kaposi and
Christian Sattler},
editor = {Marco Gaboardi and
Femke van Raamsdonk},
title = {For the Metatheory of Type Theory, Internal Sconing Is Enough},
booktitle = {8th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2023, July 3-6, 2023, Rome, Italy},
series = {LIPIcs},
volume = {260},
pages = {18:1--18:23},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2023.18},
doi = {10.4230/LIPICS.FSCD.2023.18},
timestamp = {Fri, 30 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/BocquetKS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/BreuvartKM23,
author = {Flavien Breuvart and
Marie Kerjean and
Simon Mirwasser},
editor = {Marco Gaboardi and
Femke van Raamsdonk},
title = {Unifying Graded Linear Logic and Differential Operators},
booktitle = {8th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2023, July 3-6, 2023, Rome, Italy},
series = {LIPIcs},
volume = {260},
pages = {21:1--21:21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2023.21},
doi = {10.4230/LIPICS.FSCD.2023.21},
timestamp = {Fri, 30 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/BreuvartKM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/CerritoGP23,
author = {Serenella Cerrito and
Valentin Goranko and
Sophie Paillocher},
editor = {Marco Gaboardi and
Femke van Raamsdonk},
title = {Partial Model Checking and Partial Model Synthesis in {LTL} Using
a Tableau-Based Approach},
booktitle = {8th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2023, July 3-6, 2023, Rome, Italy},
series = {LIPIcs},
volume = {260},
pages = {23:1--23:21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2023.23},
doi = {10.4230/LIPICS.FSCD.2023.23},
timestamp = {Fri, 30 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/CerritoGP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/DagninoP23,
author = {Francesco Dagnino and
Fabio Pasquali},
editor = {Marco Gaboardi and
Femke van Raamsdonk},
title = {Quotients and Extensionality in Relational Doctrines},
booktitle = {8th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2023, July 3-6, 2023, Rome, Italy},
series = {LIPIcs},
volume = {260},
pages = {25:1--25:23},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2023.25},
doi = {10.4230/LIPICS.FSCD.2023.25},
timestamp = {Fri, 30 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/DagninoP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/EhrhardFP23,
author = {Thomas Ehrhard and
Claudia Faggian and
Michele Pagani},
editor = {Marco Gaboardi and
Femke van Raamsdonk},
title = {The Sum-Product Algorithm For Quantitative Multiplicative Linear Logic},
booktitle = {8th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2023, July 3-6, 2023, Rome, Italy},
series = {LIPIcs},
volume = {260},
pages = {8:1--8:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2023.8},
doi = {10.4230/LIPICS.FSCD.2023.8},
timestamp = {Fri, 30 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/EhrhardFP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/Fernandez23,
author = {Maribel Fern{\'{a}}ndez},
editor = {Marco Gaboardi and
Femke van Raamsdonk},
title = {Nominal Techniques for Software Specification and Verification (Invited
Talk)},
booktitle = {8th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2023, July 3-6, 2023, Rome, Italy},
series = {LIPIcs},
volume = {260},
pages = {1:1--1:4},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2023.1},
doi = {10.4230/LIPICS.FSCD.2023.1},
timestamp = {Fri, 30 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/Fernandez23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/FrontullMO23,
author = {Samuel Frontull and
Georg Moser and
Vincent van Oostrom},
editor = {Marco Gaboardi and
Femke van Raamsdonk},
title = {{\(\alpha\)}-Avoidance},
booktitle = {8th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2023, July 3-6, 2023, Rome, Italy},
series = {LIPIcs},
volume = {260},
pages = {22:1--22:22},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2023.22},
doi = {10.4230/LIPICS.FSCD.2023.22},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/FrontullMO23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/GalmicheM23,
author = {Didier Galmiche and
Daniel M{\'{e}}ry},
editor = {Marco Gaboardi and
Femke van Raamsdonk},
title = {Labelled Tableaux for Linear Time Bunched Implication Logic},
booktitle = {8th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2023, July 3-6, 2023, Rome, Italy},
series = {LIPIcs},
volume = {260},
pages = {31:1--31:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2023.31},
doi = {10.4230/LIPICS.FSCD.2023.31},
timestamp = {Fri, 30 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/GalmicheM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/GhicaK23,
author = {Dan R. Ghica and
George Kaye},
editor = {Marco Gaboardi and
Femke van Raamsdonk},
title = {Rewriting Modulo Traced Comonoid Structure},
booktitle = {8th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2023, July 3-6, 2023, Rome, Italy},
series = {LIPIcs},
volume = {260},
pages = {14:1--14:21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2023.14},
doi = {10.4230/LIPICS.FSCD.2023.14},
timestamp = {Fri, 30 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/GhicaK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/GuardiaL23,
author = {R{\'{e}}mi Di Guardia and
Olivier Laurent},
editor = {Marco Gaboardi and
Femke van Raamsdonk},
title = {Type Isomorphisms for Multiplicative-Additive Linear Logic},
booktitle = {8th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2023, July 3-6, 2023, Rome, Italy},
series = {LIPIcs},
volume = {260},
pages = {26:1--26:21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2023.26},
doi = {10.4230/LIPICS.FSCD.2023.26},
timestamp = {Mon, 06 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fscd/GuardiaL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/HirokawaM23,
author = {Nao Hirokawa and
Aart Middeldorp},
editor = {Marco Gaboardi and
Femke van Raamsdonk},
title = {Hydra Battles and {AC} Termination},
booktitle = {8th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2023, July 3-6, 2023, Rome, Italy},
series = {LIPIcs},
volume = {260},
pages = {12:1--12:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2023.12},
doi = {10.4230/LIPICS.FSCD.2023.12},
timestamp = {Fri, 30 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/HirokawaM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/Ivanov23,
author = {Ievgen Ivanov},
editor = {Marco Gaboardi and
Femke van Raamsdonk},
title = {Generalized Newman's Lemma for Discrete and Continuous Systems},
booktitle = {8th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2023, July 3-6, 2023, Rome, Italy},
series = {LIPIcs},
volume = {260},
pages = {9:1--9:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2023.9},
doi = {10.4230/LIPICS.FSCD.2023.9},
timestamp = {Fri, 30 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/Ivanov23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/Jamnik23,
author = {Mateja Jamnik},
editor = {Marco Gaboardi and
Femke van Raamsdonk},
title = {How Can We Make Trustworthy AI? (Invited Talk)},
booktitle = {8th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2023, July 3-6, 2023, Rome, Italy},
series = {LIPIcs},
volume = {260},
pages = {2:1--2:1},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2023.2},
doi = {10.4230/LIPICS.FSCD.2023.2},
timestamp = {Fri, 30 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/Jamnik23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/KopV23,
author = {Cynthia Kop and
Deivid Vale},
editor = {Marco Gaboardi and
Femke van Raamsdonk},
title = {Cost-Size Semantics for Call-By-Value Higher-Order Rewriting},
booktitle = {8th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2023, July 3-6, 2023, Rome, Italy},
series = {LIPIcs},
volume = {260},
pages = {15:1--15:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2023.15},
doi = {10.4230/LIPICS.FSCD.2023.15},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/KopV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/Kudasov23,
author = {Nikolai Kudasov},
editor = {Marco Gaboardi and
Femke van Raamsdonk},
title = {E-Unification for Second-Order Abstract Syntax},
booktitle = {8th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2023, July 3-6, 2023, Rome, Italy},
series = {LIPIcs},
volume = {260},
pages = {10:1--10:22},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2023.10},
doi = {10.4230/LIPICS.FSCD.2023.10},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/Kudasov23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/LagoHP23,
author = {Ugo Dal Lago and
Naohiko Hoshino and
Paolo Pistone},
editor = {Marco Gaboardi and
Femke van Raamsdonk},
title = {On the Lattice of Program Metrics},
booktitle = {8th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2023, July 3-6, 2023, Rome, Italy},
series = {LIPIcs},
volume = {260},
pages = {20:1--20:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2023.20},
doi = {10.4230/LIPICS.FSCD.2023.20},
timestamp = {Fri, 30 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/LagoHP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/Laird23,
author = {James Laird},
editor = {Marco Gaboardi and
Femke van Raamsdonk},
title = {Dinaturality Meets Genericity: {A} Game Semantics of Bounded Polymorphism},
booktitle = {8th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2023, July 3-6, 2023, Rome, Italy},
series = {LIPIcs},
volume = {260},
pages = {33:1--33:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2023.33},
doi = {10.4230/LIPICS.FSCD.2023.33},
timestamp = {Fri, 30 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/Laird23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/LosekootGJ23,
author = {Th{\'{e}}o Losekoot and
Thomas Genet and
Thomas P. Jensen},
editor = {Marco Gaboardi and
Femke van Raamsdonk},
title = {Automata-Based Verification of Relational Properties of Functions
over Algebraic Data Structures},
booktitle = {8th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2023, July 3-6, 2023, Rome, Italy},
series = {LIPIcs},
volume = {260},
pages = {7:1--7:22},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2023.7},
doi = {10.4230/LIPICS.FSCD.2023.7},
timestamp = {Fri, 30 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/LosekootGJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/Manzonetto23,
author = {Giulio Manzonetto},
editor = {Marco Gaboardi and
Femke van Raamsdonk},
title = {A Lambda Calculus Satellite (Invited Talk)},
booktitle = {8th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2023, July 3-6, 2023, Rome, Italy},
series = {LIPIcs},
volume = {260},
pages = {3:1--3:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2023.3},
doi = {10.4230/LIPICS.FSCD.2023.3},
timestamp = {Fri, 30 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/Manzonetto23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/Mimram23,
author = {Samuel Mimram},
editor = {Marco Gaboardi and
Femke van Raamsdonk},
title = {Categorical Coherence from Term Rewriting Systems},
booktitle = {8th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2023, July 3-6, 2023, Rome, Italy},
series = {LIPIcs},
volume = {260},
pages = {16:1--16:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2023.16},
doi = {10.4230/LIPICS.FSCD.2023.16},
timestamp = {Fri, 30 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/Mimram23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/PautassoR23,
author = {Daniele Pautasso and
Simona Ronchi Della Rocca},
editor = {Marco Gaboardi and
Femke van Raamsdonk},
title = {A Quantitative Version of Simple Types},
booktitle = {8th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2023, July 3-6, 2023, Rome, Italy},
series = {LIPIcs},
volume = {260},
pages = {29:1--29:21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2023.29},
doi = {10.4230/LIPICS.FSCD.2023.29},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fscd/PautassoR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/SantoM23,
author = {Jos{\'{e}} Esp{\'{\i}}rito Santo and
Filipa Mendes},
editor = {Marco Gaboardi and
Femke van Raamsdonk},
title = {The Logical Essence of Compiling with Continuations},
booktitle = {8th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2023, July 3-6, 2023, Rome, Italy},
series = {LIPIcs},
volume = {260},
pages = {19:1--19:21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2023.19},
doi = {10.4230/LIPICS.FSCD.2023.19},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/SantoM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/SatterfieldEMR23,
author = {Saraid Dwyer Satterfield and
Serdar Erbatur and
Andrew M. Marshall and
Christophe Ringeissen},
editor = {Marco Gaboardi and
Femke van Raamsdonk},
title = {Knowledge Problems in Security Protocols: Going Beyond Subterm Convergent
Theories},
booktitle = {8th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2023, July 3-6, 2023, Rome, Italy},
series = {LIPIcs},
volume = {260},
pages = {30:1--30:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2023.30},
doi = {10.4230/LIPICS.FSCD.2023.30},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/SatterfieldEMR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/Uemura23,
author = {Taichi Uemura},
editor = {Marco Gaboardi and
Femke van Raamsdonk},
title = {Homotopy Type Theory as Internal Languages of Diagrams of {\(\infty\)}-Logoses},
booktitle = {8th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2023, July 3-6, 2023, Rome, Italy},
series = {LIPIcs},
volume = {260},
pages = {5:1--5:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2023.5},
doi = {10.4230/LIPICS.FSCD.2023.5},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/Uemura23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/Weide23,
author = {Niels van der Weide},
editor = {Marco Gaboardi and
Femke van Raamsdonk},
title = {The Formal Theory of Monads, Univalently},
booktitle = {8th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2023, July 3-6, 2023, Rome, Italy},
series = {LIPIcs},
volume = {260},
pages = {6:1--6:23},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2023.6},
doi = {10.4230/LIPICS.FSCD.2023.6},
timestamp = {Fri, 30 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/Weide23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/X23,
editor = {Marco Gaboardi and
Femke van Raamsdonk},
title = {Front Matter, Table of Contents, Preface, Conference Organization},
booktitle = {8th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2023, July 3-6, 2023, Rome, Italy},
series = {LIPIcs},
volume = {260},
pages = {0:1--0:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2023.0},
doi = {10.4230/LIPICS.FSCD.2023.0},
timestamp = {Fri, 30 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/X23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fscd/2023,
editor = {Marco Gaboardi and
Femke van Raamsdonk},
title = {8th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2023, July 3-6, 2023, Rome, Italy},
series = {LIPIcs},
volume = {260},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://www.dagstuhl.de/dagpub/978-3-95977-277-8},
isbn = {978-3-95977-277-8},
timestamp = {Fri, 30 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-05-09 14:53 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:
