1 citations · 1 across the 3 of their papers we have counts for
1 paper · 2 filters
Tao Gu, David Pym, Eike Ritter +1
This is a short paper about the relationship between logic and computation. More specifically, it is about a relationship between the completeness proof for intuitionistic proposit…