Gyesik Lee

13 papers A 1C 3Journal 8Unranked 1
YearRankTypeTitle / Venue / Authors
2024 J jnl
Semantics, Specification Logic, and Hoare Logic of Exact Real Computation.
Log. Methods Comput. Sci.
Sewon Park, Franz Brauße, Pieter Collins, Sunyoung Kim, Michal Konecný, Gyesik Lee, Norbert Th. Müller, Eike Neumann, Norbert Preining, Martin Ziegler
2014 J jnl
Mechanizing Metatheory Without Typing Contexts.
J. Autom. Reason.
JongHyun Park, Jeongbong Seo, Sungwoo Park, Gyesik Lee
2012 A conf
GMeta: A Generic Formal Metatheory Framework for First-Order Representations.
ESOP
Gyesik Lee, Bruno C. d. S. Oliveira, Sungkeun Cho, Kwangkeun Yi
2011 J jnl
Proof-irrelevant model of CC with predicative induction and judgmental equality
Log. Methods Comput. Sci.
Gyesik Lee, Benjamin Werner
2011 J jnl
Sharp thresholds for hypergraph regressive Ramsey numbers.
J. Comb. Theory A
Lorenzo Carlucci, Gyesik Lee, Andreas Weiermann
2010 J jnl
Kripke models for classical logic.
Ann. Pure Appl. Log.
Danko Ilik, Gyesik Lee, Hugo Herbelin
2009 C conf
Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus.
WoLLIC
Hugo Herbelin, Gyesik Lee
2009 — conf
Formally verifiable features in embedded vehicular security systems.
VNC
Gyesik Lee, Hisashi Oguma, Akira Yoshioka, Rie Shigetomi, Akira Otsuka, Hideki Imai
2009 J jnl
Kripke Models for Classical Logic
CoRR
Danko Ilik, Gyesik Lee, Hugo Herbelin
2009 C conf
Relationship between Kanamori-McAloon Principle and Paris-Harrington Theorem.
CiE
Gyesik Lee
2008 J jnl
Sharp thresholds for the phase transition between primitive recursive and Ackermannian Ramsey numbers.
J. Comb. Theory A
Menachem Kojman, Gyesik Lee, Eran Omri, Andreas Weiermann
2007 J jnl
A comparison of well-known ordinal notation systems for epsilon
Ann. Pure Appl. Log.
Gyesik Lee
2007 C conf
Binary Trees and (Maximal) Order Types.
CiE
Gyesik Lee