Chuck C. Liang

Publication Activity (10 Years)

Years Active: 1997-2019
Publications (10 Years): 3

Top Topics

Expressive Power

Proof Theoretic

Intuitionistic Logic

Top Venues

Math. Struct. Comput. Sci.

Ann. Pure Appl. Log.

Publications

Chuck C. Liang
On the unification of classical, intuitionistic and affine logics. Math. Struct. Comput. Sci. 29 (8) (2019)
Chuck C. Liang
Unified Semantics and Proof System for Classical, Intuitionistic and Affine Logics. LICS (2016)
Chuck C. Liang, Dale Miller
On Subexponentials, Synthetic Connectives, and Multi-level Delimited Control. LPAR (2015)
Chuck C. Liang, Dale Miller
Kripke semantics and proof systems for combining intuitionistic logic and classical logic. Ann. Pure Appl. Log. 164 (2) (2013)
Chuck C. Liang, Dale Miller
Unifying Classical and Intuitionistic Logics for Computational Control. LICS (2013)
Chuck C. Liang, Dale Miller
A focused approach to combining logics. Ann. Pure Appl. Log. 162 (9) (2011)
Chuck C. Liang, Dale Miller
A Unified Sequent Calculus for Focused Proofs. LICS (2009)
Chuck C. Liang, Dale Miller
Focusing and polarization in linear, intuitionistic, and classical logics. Theor. Comput. Sci. 410 (46) (2009)
Chuck C. Liang, Dale Miller
Focusing and Polarization in Intuitionistic Logic CoRR (2007)
Chuck C. Liang, Dale Miller
Focusing and Polarization in Intuitionistic Logic. CSL (2007)
Chuck C. Liang
Aspect-Oriented Programming in Higher-Order and Linear Logic. PADL (2007)
Chuck C. Liang, Gopalan Nadathur, Xiaochu Qi
Choices in Representation and Reduction Strategies for Lambda Terms in Intensional Contexts. J. Autom. Reason. 33 (2) (2004)
Chuck C. Liang
Compiler Construction in Higher Order Logic Programming. PADL (2002)
Chuck C. Liang, Gopalan Nadathur
Tradeoffs in the Intensional Representation of Lambda Terms. RTA (2002)
Chuck C. Liang
A Deterministic Shift-Reduce Parser Generator for a Logic Programming Language. Computational Logic (2000)
Chuck C. Liang
Free Variables and Subexpressions in Higher-Order Meta Logic. TPHOLs (1998)
Chuck C. Liang
Let-Polymorphism and Eager Type Schemes. TAPSOFT (1997)