According to our database1, Jeongbong Seo authored at least 3 papers between 2013 and 2014.
Legend:Book In proceedings Article PhD thesis Other
Mechanizing Metatheory Without Typing Contexts.
J. Autom. Reasoning, 2014
Judgmental subtyping systems with intersection types and modal types.
Acta Inf., 2013
A theorem prover for Boolean BI.
Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013