Published in: LIPIcs, Volume 152, 28th EACSL Annual Conference on Computer Science Logic (CSL 2020)
Tim Lyon, Alwen Tiu, Rajeev Goré, and Ranald Clouston. Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents. In 28th EACSL Annual Conference on Computer Science Logic (CSL 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 152, pp. 28:1-28:16, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2020)
@InProceedings{lyon_et_al:LIPIcs.CSL.2020.28, author = {Lyon, Tim and Tiu, Alwen and Gor\'{e}, Rajeev and Clouston, Ranald}, title = {{Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents}}, booktitle = {28th EACSL Annual Conference on Computer Science Logic (CSL 2020)}, pages = {28:1--28:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-132-0}, ISSN = {1868-8969}, year = {2020}, volume = {152}, editor = {Fern\'{a}ndez, Maribel and Muscholl, Anca}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2020.28}, URN = {urn:nbn:de:0030-drops-116713}, doi = {10.4230/LIPIcs.CSL.2020.28}, annote = {Keywords: Bi-intuitionistic logic, Interpolation, Nested calculi, Proof theory, Sequents, Tense logics} }
Published in: LIPIcs, Volume 62, 25th EACSL Annual Conference on Computer Science Logic (CSL 2016)
Lars Birkedal, Aleš Bizjak, Ranald Clouston, Hans Bugge Grathwohl, Bas Spitters, and Andrea Vezzosi. Guarded Cubical Type Theory: Path Equality for Guarded Recursion. In 25th EACSL Annual Conference on Computer Science Logic (CSL 2016). Leibniz International Proceedings in Informatics (LIPIcs), Volume 62, pp. 23:1-23:17, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2016)
@InProceedings{birkedal_et_al:LIPIcs.CSL.2016.23, author = {Birkedal, Lars and Bizjak, Ale\v{s} and Clouston, Ranald and Grathwohl, Hans Bugge and Spitters, Bas and Vezzosi, Andrea}, title = {{Guarded Cubical Type Theory: Path Equality for Guarded Recursion}}, booktitle = {25th EACSL Annual Conference on Computer Science Logic (CSL 2016)}, pages = {23:1--23:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-022-4}, ISSN = {1868-8969}, year = {2016}, volume = {62}, editor = {Talbot, Jean-Marc and Regnier, Laurent}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2016.23}, URN = {urn:nbn:de:0030-drops-65638}, doi = {10.4230/LIPIcs.CSL.2016.23}, annote = {Keywords: Guarded Recursion, Dependent Type Theory, Cubical Type Theory, Denotational Semantics, Homotopy Type Theory} }
Published in: LIPIcs, Volume 23, Computer Science Logic 2013 (CSL 2013)
Ranald Clouston, Jeremy Dawson, Rajeev Goré, and Alwen Tiu. Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic. In Computer Science Logic 2013 (CSL 2013). Leibniz International Proceedings in Informatics (LIPIcs), Volume 23, pp. 197-214, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2013)
@InProceedings{clouston_et_al:LIPIcs.CSL.2013.197, author = {Clouston, Ranald and Dawson, Jeremy and Gor\'{e}, Rajeev and Tiu, Alwen}, title = {{Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic}}, booktitle = {Computer Science Logic 2013 (CSL 2013)}, pages = {197--214}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-60-6}, ISSN = {1868-8969}, year = {2013}, volume = {23}, editor = {Ronchi Della Rocca, Simona}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2013.197}, URN = {urn:nbn:de:0030-drops-41981}, doi = {10.4230/LIPIcs.CSL.2013.197}, annote = {Keywords: Linear logic, display calculus, nested sequent calculus, deep inference} }
Feedback for Dagstuhl Publishing