Author

Seung-Ju Lee

h-index 0 View on Semantic Scholar

We have 1 of 3 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Jul 2026

Guarded Realization Semantics: Occurrence-Sensitive Certificates and Behavior-Dependent Lower Bounds

A guarded realization semantics is developed that retains these distinctions when an error is extracted ininct proofs, programs, formulas, or rewrite paths that have the same observable behavior while differing in occurrence structure, sharing, interfaces, or transformation history.

Seung-Ju Lee · 0 citations