Follow
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
2402009
Focusing and polarization in intuitionistic logic
C Liang, D Miller
International Workshop on Computer Science Logic, 451-465, 2007
942007
A focused approach to combining logics
C Liang, D Miller
Annals of Pure and Applied Logic 162 (9), 679-697, 2011
402011
Choices in representation and reduction strategies for lambda terms in intensional contexts
C Liang, G Nadathur, X Qi
Journal of Automated Reasoning 33, 89-132, 2004
212004
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
192013
Compiler construction in higher order logic programming
CC Liang
Practical Aspects of Declarative Languages: 4th International Symposium …, 2002
192002
A unified sequent calculus for focused proofs
C Liang, D Miller
2009 24th Annual IEEE Symposium on Logic In Computer Science, 355-364, 2009
182009
Tradeoffs in the intensional representation of lambda terms
C Liang, G Nadathur
International Conference on Rewriting Techniques and Applications, 192-206, 2002
162002
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
142013
Focusing Gentzen’s LK proof system
C Liang, D Miller
Peter Schroeder-Heister on Proof-Theoretic Semantics, 275-313, 2024
112024
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
101995
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 subexponentials, synthetic connectives, and multi-level delimited control
C Liang, D Miller
Logic for Programming, Artificial Intelligence, and Reasoning: 20th …, 2015
32015
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
A deterministic shift-reduce parser generator for a logic programming language
C Liang
International Conference on Computational Logic, 1315-1329, 2000
22000
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