@inproceedings{amorim_witzman_kozen_2025,
 title = {Classical Linear Logic in Perfect Banach Lattices},
 author = {Amorim, Pedro H. Azevedo de and Witzman, Leon and Kozen, Dexter},
 year = {2025},
 doi = {10.4230/LIPIcs.CSL.2025.44},
 url = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2025.44},
 booktitle = {33rd EACSL Annual Conference on Computer Science Logic (CSL 2025)},
 series = {LIPIcs},
 publisher = {Schloss Dagstuhl}
}