Author:Jonghyun Park

Publications
Towards a Cut-free Sequent Calculus for Boolean BI Sungwoo Park and Jonghyun Park In:PSPL 2010. International Workshop on Proof Systems for Program Logics