Chuck Liang

Chuck Liang

Hofstra University - Hempstead / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 1326233
person_outline Chuck Liang's MOST POPULAR ARTICLES
1-) Focusing and polarization in linear, intuitionistic, and classical logicsC Liang, D MillerTheoretical Computer Science 410 (46), 4747-4768, 20092202009
2-) Focusing and polarization in intuitionistic logicC Liang, D MillerInternational Workshop on Computer Science Logic, 451-465, 2007902007
3-) A focused approach to combining logicsC Liang, D MillerAnnals of Pure and Applied Logic 162 (9), 679-697, 2011352011
4-) Choices in representation and reduction strategies for lambda terms in intensional contextsC Liang, G Nadathur, X QiJournal of Automated Reasoning 33, 89-132, 2004222004
5-) A unified sequent calculus for focused proofsC Liang, D Miller2009 24th Annual IEEE Symposium on Logic In Computer Science, 355-364, 2009202009