On a Proof-Theoretical Analysis of Sigma-1, 1-AC, Sigma-1, 1-DC and Delta-1, 1-CA.

Sergei Tupailo

Browse the full LPAR paper archive.