Jeongbong Seo

According to our database1, Jeongbong Seo
  • authored at least 3 papers between 2013 and 2014.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2014
Mechanizing Metatheory Without Typing Contexts.
J. Autom. Reasoning, 2014

2013
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


  Loading...