Proof Nets for Intuitionistic Logic (2006)

by Matthias Horbach
Venue:SAARBRÜCKEN, GERMANY