5 citations · 8 across the 5 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…