Chuck Liang
Chuck Liang
Professor of Computer Science, Hofstra University
Verified email at hofstra.edu - Homepage
Title
Cited by
Cited by
Year
Focusing and polarization in linear, intuitionistic, and classical logics
C Liang, D Miller
Theoretical Computer Science 410 (46), 4747-4768, 2009
1922009
Focusing and polarization in intuitionistic logic
C Liang, D Miller
International Workshop on Computer Science Logic, 451-465, 2007
912007
A focused approach to combining logics
C Liang, D Miller
Annals of Pure and Applied Logic 162 (9), 679-697, 2011
272011
Choices in representation and reduction strategies for lambda terms in intensional contexts
C Liang, G Nadathur, X Qi
Journal of Automated Reasoning 33 (2), 89-132, 2004
202004
A unified sequent calculus for focused proofs
C Liang, D Miller
2009 24th Annual IEEE Symposium on Logic In Computer Science, 355-364, 2009
192009
Compiler construction in higher order logic programming
CC Liang
International Symposium on Practical Aspects of Declarative Languages, 47-63, 2002
182002
Tradeoffs in the intensional representation of lambda terms
C Liang, G Nadathur
International Conference on Rewriting Techniques and Applications, 192-206, 2002
162002
Kripke semantics and proof systems for combining intuitionistic logic and classical logic
C Liang, D Miller
Annals of Pure and Applied Logic 164 (2), 86-111, 2013
142013
Let-polymorphism and eager type schemes
C Liang
Colloquium on Trees in Algebra and Programming, 490-501, 1997
111997
Object-level substitution, unification and generalization in meta-logic
CC Liang
University of Pennsylvania, 1995
111995
Unifying classical and intuitionistic logics for computational control
C Liang, D Miller
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 283-292, 2013
102013
Proof checking and logic programming
D Miller
Formal Aspects of Computing 29 (3), 383-399, 2017
92017
Delay dependent stability analysis of interval time-delay systems
W Jiang, A Kruszewski, E Fridman, JP Richard
IFAC Proceedings Volumes 43 (2), 313-318, 2010
52010
An intuitionistic control logic
C Liang, D Miller
to appear, 2012
42012
Programming language concepts and Perl
C Liang
Journal of Computing Sciences in Colleges 19 (5), 193-204, 2004
42004
On focusing and polarities in linear logic and intuitionistic logic
C Liang, D Miller
Unpublished report, December, 2006
32006
A course on TCP/IP networking with Linux
C Liang
Proceedings of the fifth annual CCSC northeastern conference on The journal …, 2000
32000
Unified semantics and proof system for classical, intuitionistic and affine logics
C Liang
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016
22016
On Subexponentials, Synthetic Connectives, and Multi-level Delimited Control
C Liang, D Miller
Logic for Programming, Artificial Intelligence, and Reasoning, 297-312, 2015
22015
A deterministic shift-reduce parser generator for a logic programming language
C Liang
International Conference on Computational Logic, 1315-1329, 2000
22000
The system can't perform the operation now. Try again later.
Articles 1–20