Chuck Liang - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 15 from 15

2019

On the unification of classical, intuitionistic and affine logicsChuck Liang. mscs, 29(8):1177-1216, 2019. [doi]

2016

Unified Semantics and Proof System for Classical, Intuitionistic and Affine LogicsChuck Liang. lics 2016: 156-165 [doi]

2015

On Subexponentials, Synthetic Connectives, and Multi-level Delimited ControlChuck Liang, Dale Miller. lpar 2015: 297-312 [doi]

2013

Unifying Classical and Intuitionistic Logics for Computational ControlChuck Liang, Dale Miller. lics 2013: 283-292 [doi]

Kripke semantics and proof systems for combining intuitionistic logic and classical logicChuck Liang, Dale Miller. APAL, 164(2):86-111, 2013. [doi]

2011

A focused approach to combining logicsChuck Liang, Dale Miller. APAL, 162(9):679-697, 2011. [doi]

2009

Focusing and polarization in linear, intuitionistic, and classical logicsChuck Liang, Dale Miller. TCS, 410(46):4747-4768, 2009. [doi]

A Unified Sequent Calculus for Focused ProofsChuck Liang, Dale Miller. lics 2009: 355-364 [doi]

2007

Focusing and Polarization in Intuitionistic LogicChuck Liang, Dale Miller. csl 2007: 451-465 [doi]

2004

Choices in Representation and Reduction Strategies for Lambda Terms in Intensional ContextsChuck Liang, Gopalan Nadathur, Xiaochu Qi. JAR, 33(2):89-132, 2004. [doi]

2002

Compiler Construction in Higher Order Logic ProgrammingChuck Liang. PADL 2002: 47-63 [doi]

Tradeoffs in the Intensional Representation of Lambda TermsChuck Liang, Gopalan Nadathur. RTA 2002: 192-206 [doi]

2000

A Deterministic Shift-Reduce Parser Generator for a Logic Programming LanguageChuck Liang. cl 2000: 1315-1329 [doi]

1998

Free Variables and Subexpressions in Higher-Order Meta LogicChuck Liang. tphol 1998: 263-276

1997

Let-Polymorphism and Eager Type SchemesChuck Liang. tapsoft 1997: 490-501

Sign in or sign up to see more results.

runs on WebDSL