%0 Conference Paper %1 conf/fscd/Alvarez-Picallo22 %A Alvarez-Picallo, Mario %A Ghica, Dan R. %A Sprunger, David %A Zanasi, Fabio %B FSCD %D 2022 %E Felty, Amy P. %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 29:1-29:20 %T Rewriting for Monoidal Closed Categories. %U http://dblp.uni-trier.de/db/conf/fscd/fscd2022.html#Alvarez-Picallo22 %V 228 %@ 978-3-95977-233-4

@inproceedings{conf/fscd/Alvarez-Picallo22, added-at = {2022-12-07T00:00:00.000+0100}, author = {Alvarez-Picallo, Mario and Ghica, Dan R. and Sprunger, David and Zanasi, Fabio}, biburl = {https://www.bibsonomy.org/bibtex/263443be4e67797c9570eb47a05c2c163/dblp}, booktitle = {FSCD}, crossref = {conf/fscd/2022}, editor = {Felty, Amy P.}, ee = {https://doi.org/10.4230/LIPIcs.FSCD.2022.29}, interhash = {e2922d9ae0c633539716d7bf075e080d}, intrahash = {63443be4e67797c9570eb47a05c2c163}, isbn = {978-3-95977-233-4}, keywords = {dblp}, pages = {29:1-29:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-08-26T07:50:49.000+0200}, title = {Rewriting for Monoidal Closed Categories.}, url = {http://dblp.uni-trier.de/db/conf/fscd/fscd2022.html#Alvarez-Picallo22}, volume = 228, year = 2022 }