Gyesik Lee

According to our database, Gyesik Lee authored at least 11 papers between 2007 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2014

Mechanizing Metatheory Without Typing Contexts.

Jonghyun Park, Jeongbong Seo, Sungwoo Park, Gyesik Lee

J. Autom. Reason., 2014

2012

GMeta: A Generic Formal Metatheory Framework for First-Order Representations.

Gyesik Lee, Bruno C. d. S. Oliveira, Sungkeun Cho, Kwangkeun Yi

Proceedings of the Programming Languages and Systems, 2012

2011

Sharp thresholds for hypergraph regressive Ramsey numbers.

Lorenzo Carlucci, Gyesik Lee, Andreas Weiermann

J. Comb. Theory, Ser. A, 2011

Proof-irrelevant model of CC with predicative induction and judgmental equality

Gyesik Lee, Benjamin Werner

Log. Methods Comput. Sci., 2011

2010

Kripke models for classical logic.

Danko Ilik, Gyesik Lee, Hugo Herbelin

Ann. Pure Appl. Log., 2010

2009

Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus.

Hugo Herbelin, Gyesik Lee

Proceedings of the Logic, 2009

Formally verifiable features in embedded vehicular security systems.

Gyesik Lee, Hisashi Oguma, Akira Yoshioka, Rie Shigetomi, Akira Otsuka, Hideki Imai

Proceedings of the IEEE Vehicular Networking Conference, 2009

Relationship between Kanamori-McAloon Principle and Paris-Harrington Theorem.

Gyesik Lee

Proceedings of the Mathematical Theory and Computational Practice, 2009

2008

Sharp thresholds for the phase transition between primitive recursive and Ackermannian Ramsey numbers.

Menachem Kojman, Gyesik Lee, Eran Omri, Andreas Weiermann

J. Comb. Theory, Ser. A, 2008

2007

A comparison of well-known ordinal notation systems for epsilon₀.

Gyesik Lee

Ann. Pure Appl. Log., 2007

Binary Trees and (Maximal) Order Types.

Gyesik Lee

Proceedings of the Computation and Logic in the Real World, 2007