Chuck C. Liang

According to our database, Chuck C. Liang authored at least 16 papers between 1997 and 2019.

Collaborative distances:

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

2019

On the unification of classical, intuitionistic and affine logics.

Chuck C. Liang

Math. Struct. Comput. Sci., 2019

2016

Unified Semantics and Proof System for Classical, Intuitionistic and Affine Logics.

Chuck C. Liang

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

2015

On Subexponentials, Synthetic Connectives, and Multi-level Delimited Control.

Chuck C. Liang, Dale Miller

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

2013

Kripke semantics and proof systems for combining intuitionistic logic and classical logic.

Chuck C. Liang, Dale Miller

Ann. Pure Appl. Log., 2013

Unifying Classical and Intuitionistic Logics for Computational Control.

Chuck C. Liang, Dale Miller

Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

2011

A focused approach to combining logics.

Chuck C. Liang, Dale Miller

Ann. Pure Appl. Log., 2011

2009

Focusing and polarization in linear, intuitionistic, and classical logics.

Chuck C. Liang, Dale Miller

Theor. Comput. Sci., 2009

A Unified Sequent Calculus for Focused Proofs.

Chuck C. Liang, Dale Miller

Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, 2009

2007

Aspect-Oriented Programming in Higher-Order and Linear Logic.

Chuck C. Liang

Proceedings of the Practical Aspects of Declarative Languages, 9th International Symposium, 2007

Focusing and Polarization in Intuitionistic Logic.

Chuck C. Liang, Dale Miller

Proceedings of the Computer Science Logic, 21st International Workshop, 2007

2004

Choices in Representation and Reduction Strategies for Lambda Terms in Intensional Contexts.

Chuck C. Liang, Gopalan Nadathur, Xiaochu Qi

J. Autom. Reason., 2004

2002

Tradeoffs in the Intensional Representation of Lambda Terms.

Chuck C. Liang, Gopalan Nadathur

Proceedings of the Rewriting Techniques and Applications, 13th International Conference, 2002

Compiler Construction in Higher Order Logic Programming.

Chuck C. Liang

Proceedings of the Practical Aspects of Declarative Languages, 4th International Symposium, 2002

2000

A Deterministic Shift-Reduce Parser Generator for a Logic Programming Language.

Chuck C. Liang

Proceedings of the Computational Logic, 2000

1998

Free Variables and Subexpressions in Higher-Order Meta Logic.

Chuck C. Liang

Proceedings of the Theorem Proving in Higher Order Logics, 11th International Conference, 1998

1997

Let-Polymorphism and Eager Type Schemes.

Chuck C. Liang

Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997