Chuck Liang

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2013
j4		Chuck Liang, Dale Miller: Kripke semantics and proof systems for combining intuitionistic logic and classical logic. Ann. Pure Appl. Logic 164(2): 86-111 (2013)
	2011
j3		Chuck Liang, Dale Miller: A focused approach to combining logics. Ann. Pure Appl. Logic 162(9): 679-697 (2011)
	2009
j2		Chuck Liang, Dale Miller: Focusing and polarization in linear, intuitionistic, and classical logics. Theor. Comput. Sci. 410(46): 4747-4768 (2009)
c7		Chuck Liang, Dale Miller: A Unified Sequent Calculus for Focused Proofs. LICS 2009: 355-364
	2007
c6		Chuck Liang, Dale Miller: Focusing and Polarization in Intuitionistic Logic. CSL 2007: 451-465
i1		Chuck Liang, Dale Miller: Focusing and Polarization in Intuitionistic Logic. CoRR abs/0708.2252 (2007)
	2004
j1		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
c5		Chuck Liang: Compiler Construction in Higher Order Logic Programming. PADL 2002: 47-63
c4		Chuck Liang, Gopalan Nadathur: Tradeoffs in the Intensional Representation of Lambda Terms. RTA 2002: 192-206
	2000
c3		Chuck Liang: A Deterministic Shift-Reduce Parser Generator for a Logic Programming Language. Computational Logic 2000: 1315-1329
	1998
c2		Chuck Liang: Free Variables and Subexpressions in Higher-Order Meta Logic. TPHOLs 1998: 263-276
	1997
c1		Chuck Liang: Let-Polymorphism and Eager Type Schemes. TAPSOFT 1997: 490-501

Coauthor Index

Last update Sun May 26 08:21:03 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page