Focusing and polarization in linear, intuitionistic, and classical logics C Liang, D Miller Theoretical Computer Science 410 (46), 4747-4768, 2009 | 242 | 2009 |
Focusing and polarization in intuitionistic logic C Liang, D Miller International Workshop on Computer Science Logic, 451-465, 2007 | 94 | 2007 |
A focused approach to combining logics C Liang, D Miller Annals of Pure and Applied Logic 162 (9), 679-697, 2011 | 41 | 2011 |
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 | 21 | 2004 |
Compiler construction in higher order logic programming CC Liang Practical Aspects of Declarative Languages: 4th International Symposium …, 2002 | 20 | 2002 |
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 | 19 | 2013 |
A unified sequent calculus for focused proofs C Liang, D Miller 2009 24th Annual IEEE Symposium on Logic In Computer Science, 355-364, 2009 | 18 | 2009 |
Tradeoffs in the intensional representation of lambda terms C Liang, G Nadathur International Conference on Rewriting Techniques and Applications, 192-206, 2002 | 16 | 2002 |
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 | 14 | 2013 |
Focusing Gentzen’s LK proof system C Liang, D Miller Peter Schroeder-Heister on Proof-Theoretic Semantics, 275-313, 2024 | 11 | 2024 |
Let-polymorphism and eager type schemes C Liang Colloquium on Trees in Algebra and Programming, 490-501, 1997 | 11 | 1997 |
Object-Level Substitution, Unification and Generalization in Meta-Logic CC Liang University of Pennsylvania, 1995 | 10 | 1995 |
An intuitionistic control logic C Liang, D Miller to appear, 2012 | 4 | 2012 |
Programming language concepts and Perl C Liang Journal of Computing Sciences in Colleges 19 (5), 193-204, 2004 | 4 | 2004 |
On subexponentials, synthetic connectives, and multi-level delimited control C Liang, D Miller Logic for Programming, Artificial Intelligence, and Reasoning: 20th …, 2015 | 3 | 2015 |
On focusing and polarities in linear logic and intuitionistic logic C Liang, D Miller Unpublished report, December, 2006 | 3 | 2006 |
A course on TCP/IP networking with Linux C Liang Proceedings of the fifth annual CCSC northeastern conference on The journal …, 2000 | 3 | 2000 |
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 | 2 | 2016 |
A deterministic shift-reduce parser generator for a logic programming language C Liang International Conference on Computational Logic, 1315-1329, 2000 | 2 | 2000 |
A deterministic shift-reduce parser generator for a logic programming language C Liang International Conference on Computational Logic, 1315-1329, 2000 | 2 | 2000 |