3 citations · 3 across the 2 of their papers we have counts for
1 paper · 1 filter
Juan Ferrer Meleiro, Hugo Luiz Mariano
The Curry-Howard Correspondence has a long history, and still is a topic of active research. Though there are extensive investigations into the subject, there doesn't seem to be a…