Jeongbong Seo

According to our database¹, Jeongbong Seo authored at least 3 papers between 2013 and 2014.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2014

Mechanizing Metatheory Without Typing Contexts.

[BibT_eX]

[DOI]

J. Autom. Reason., 2014

2013

Judgmental subtyping systems with intersection types and modal types.

[BibT_eX]

[DOI]

Acta Informatica, 2013

A theorem prover for Boolean BI.

[BibT_eX]

[DOI]

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013