{"inproceedings":{"@attributes":{"key":"conf\/cpp\/Frumin22","mdate":"2025-01-19"},"author":"Dan Frumin","title":"Semantic cut elimination for the logic of bunched implications, formalized in Coq.","pages":"291-306","year":"2022","booktitle":"CPP","ee":["https:\/\/doi.org\/10.1145\/3497775.3503690","https:\/\/www.wikidata.org\/entity\/Q130834687"],"crossref":"conf\/cpp\/2022","url":"db\/conf\/cpp\/cpp2022.html#Frumin22"}}