Author:Agata Ciabattoni

Publications
A typed parallel lambda-calculus via 1-depth intermediate proofs Federico Aschieri, Agata Ciabattoni and Francesco Antonio Genco In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Bunched Hypersequent Calculi for Distributive Substructural Logics Agata Ciabattoni and Revantha Ramanayake In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning

Keyphrases

BBI, bunched calculi, cut elimination, distributive substructural logics, Dunn-Mints calculi, functional programming languages, hypersequent calculi, hypersequents, intermediate logics, lambda calculus, logic of bunched implications, natural deduction, separation logic, structural rules, type theory.