 | 2009 |
|---|
| 9 |       | Chuck Liang,
Dale Miller:
A Unified Sequent Calculus for Focused Proofs.
LICS 2009: 355-364 |
| 2007 |
|---|
| 8 | | Chuck Liang,
Dale Miller:
Focusing and Polarization in Intuitionistic Logic.
CSL 2007: 451-465 |
| 7 | | Chuck Liang,
Dale Miller:
Focusing and Polarization in Intuitionistic Logic
CoRR abs/0708.2252: (2007) |
| 2004 |
|---|
| 6 | | Chuck Liang,
Gopalan Nadathur,
Xiaochu Qi:
Choices in Representation and Reduction Strategies for Lambda Terms in Intensional Contexts.
J. Autom. Reasoning 33(2): 89-132 (2004) |
| 2002 |
|---|
| 5 | | Chuck Liang:
Compiler Construction in Higher Order Logic Programming.
PADL 2002: 47-63 |
| 4 | | Chuck Liang,
Gopalan Nadathur:
Tradeoffs in the Intensional Representation of Lambda Terms.
RTA 2002: 192-206 |
| 2000 |
|---|
| 3 | | Chuck Liang:
A Deterministic Shift-Reduce Parser Generator for a Logic Programming Language.
Computational Logic 2000: 1315-1329 |
| 1998 |
|---|
| 2 | | Chuck Liang:
Free Variables and Subexpressions in Higher-Order Meta Logic.
TPHOLs 1998: 263-276 |
| 1997 |
|---|
| 1 | | Chuck Liang:
Let-Polymorphism and Eager Type Schemes.
TAPSOFT 1997: 490-501 |
