29 citations · 32 across the 9 of their papers we have counts for
1 paper · 1 filter
Alberto Carraro, Thomas Ehrhard, Antonino Salibra
We introduce a functional calculus with simple syntax and operational semantics in which the calculi introduced so far in the Curry-Howard correspondence for Classical Logic can be…