Chuck Liang

Focusing and polarization in linear, intuitionistic, and classical logics

Chuck Liang, Dale Miller · Theoretical Computer Science · 2009 · 163 citations

Humanities, Mathematics, Philosophy +11

A focused approach to combining logics

Chuck Liang, Dale Miller · Annals of Pure and Applied Logic · 2011 · 24 citations · Full text

Humanities, Computer Science, Knowledge Representation +10

Kripke semantics and proof systems for combining intuitionistic logic and classical logic

Chuck Liang, Dale Miller · Annals of Pure and Applied Logic · 2012 · 17 citations · Full text

Humanities, Computer Science, Mathematics +13

Choices in Representation and Reduction Strategies for Lambda Terms in Intensional Contexts

Chuck Liang, Gopalan Nadathur, Xiaochu Qi · Journal of Automated Reasoning · 2004 · 17 citations

Language Studies, Mathematics, Representation Theory +10

Focusing and Polarization in Intuitionistic Logic

Chuck Liang, Dale Miller · ArXiv.org · 2007 · 16 citations · Full text

Humanities, Computer Science, Mathematics +16