9 citations · 23 across the 13 of their papers we have counts for
3 papers · 1 filter
Classical Proofs as Parallel Programs
Federico Aschieri, Agata Ciabattoni, Francesco Antonio Genco
We introduce a first proofs-as-parallel-programs correspondence for classical logic. We define a parallel and more powerful extension of the simply typed lambda calculus correspond…
Hypersequents and Systems of Rules: Embeddings and Applications
Agata Ciabattoni, Francesco A. Genco
We define a bi-directional embedding between hypersequent calculi and a subclass of systems of rules (2-systems). In addition to showing that the two proof frameworks have the same…
Disjunctive Axioms and Concurrent -Calculi: a Curry-Howard Approach
F. Aschieri, A. Ciabattoni, F. A. Genco
We add to intuitionistic logic infinitely many classical disjunctive tautologies and use the Curry--Howard correspondence to obtain typed concurrent -calculi; each of them featu…