%0 Conference Paper %1 conf/itp/DupuisLM22 %A Dupuis, Frédéric %A Lewis, Robert Y. %A Macbeth, Heather %B ITP %D 2022 %E Andronick, June %E de Moura, Leonardo %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 10:1-10:19 %T Formalized functional analysis with semilinear maps. %U http://dblp.uni-trier.de/db/conf/itp/itp2022.html#DupuisLM22 %V 237 %@ 978-3-95977-252-5

@inproceedings{conf/itp/DupuisLM22, added-at = {2024-05-07T00:00:00.000+0200}, author = {Dupuis, Frédéric and Lewis, Robert Y. and Macbeth, Heather}, biburl = {https://www.bibsonomy.org/bibtex/22156a32de9a4e2748028814800523fad/dblp}, booktitle = {ITP}, crossref = {conf/itp/2022}, editor = {Andronick, June and de Moura, Leonardo}, ee = {https://doi.org/10.4230/LIPIcs.ITP.2022.10}, interhash = {02656f10afa0e038f7ee1da61cba9dca}, intrahash = {2156a32de9a4e2748028814800523fad}, isbn = {978-3-95977-252-5}, keywords = {dblp}, pages = {10:1-10:19}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-08-26T07:49:29.000+0200}, title = {Formalized functional analysis with semilinear maps.}, url = {http://dblp.uni-trier.de/db/conf/itp/itp2022.html#DupuisLM22}, volume = 237, year = 2022 }