%0 Conference Paper %1 conf/fscd/KopV23 %A Kop, Cynthia %A Vale, Deivid %B FSCD %D 2023 %E Gaboardi, Marco %E van Raamsdonk, Femke %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 15:1-15:19 %T Cost-Size Semantics for Call-By-Value Higher-Order Rewriting. %U http://dblp.uni-trier.de/db/conf/fscd/fscd2023.html#KopV23 %V 260 %@ 978-3-95977-277-8

@inproceedings{conf/fscd/KopV23, added-at = {2024-05-07T00:00:00.000+0200}, author = {Kop, Cynthia and Vale, Deivid}, biburl = {https://www.bibsonomy.org/bibtex/2bba35e72117b8d59759c6671c0e5dc74/dblp}, booktitle = {FSCD}, crossref = {conf/fscd/2023}, editor = {Gaboardi, Marco and van Raamsdonk, Femke}, ee = {https://doi.org/10.4230/LIPIcs.FSCD.2023.15}, interhash = {39da7bf7db874dc72ea7acc3abbe3041}, intrahash = {bba35e72117b8d59759c6671c0e5dc74}, isbn = {978-3-95977-277-8}, keywords = {dblp}, pages = {15:1-15:19}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-08-26T07:50:49.000+0200}, title = {Cost-Size Semantics for Call-By-Value Higher-Order Rewriting.}, url = {http://dblp.uni-trier.de/db/conf/fscd/fscd2023.html#KopV23}, volume = 260, year = 2023 }