%0 Conference Paper %1 conf/fossacs/BaillotLKV24 %A Baillot, Patrick %A Lago, Ugo Dal %A Kop, Cynthia %A Vale, Deivid %B FoSSaCS (2) %D 2024 %E Kobayashi, Naoki %E Worrell, James %I Springer %K dblp %P 70-91 %T On Basic Feasible Functionals and the Interpretation Method. %U http://dblp.uni-trier.de/db/conf/fossacs/fossacs2024-2.html#BaillotLKV24 %V 14575 %@ 978-3-031-57231-9

@inproceedings{conf/fossacs/BaillotLKV24, added-at = {2024-04-14T00:00:00.000+0200}, author = {Baillot, Patrick and Lago, Ugo Dal and Kop, Cynthia and Vale, Deivid}, biburl = {https://www.bibsonomy.org/bibtex/2e2127e659ae78fa36860e084e436b24b/dblp}, booktitle = {FoSSaCS (2)}, crossref = {conf/fossacs/2024-2}, editor = {Kobayashi, Naoki and Worrell, James}, ee = {https://doi.org/10.1007/978-3-031-57231-9_4}, interhash = {9d615a66823119193ed19c089ae0de6b}, intrahash = {e2127e659ae78fa36860e084e436b24b}, isbn = {978-3-031-57231-9}, keywords = {dblp}, pages = {70-91}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-15T07:03:27.000+0200}, title = {On Basic Feasible Functionals and the Interpretation Method.}, url = {http://dblp.uni-trier.de/db/conf/fossacs/fossacs2024-2.html#BaillotLKV24}, volume = 14575, year = 2024 }