DMCA

Curry-Howard Term Calculi for Gentzen-Style Classical Logic (2008)

by Alexander J. Summers , Alexander Summers
Citations:5 - 1 self