2 citations · 3 across the 4 of their papers we have counts for
1 paper · 1 filter
Matteo Acclavio, Davide Catta, Federico Olimpieri
In this paper we investigate the Curry-Howard correspondence for constructive modal logic in light of the gap between the proof equivalences enforced by the lambda calculi from the…