Chuck Liang

Available identifiers

zbMath Open liang.chuckMaRDI QIDQ639670

List of research outcomes

Publication	Date of Publication	Type
Focusing Gentzen's LK proof system	2024-10-01	Paper
On the unification of classical, intuitionistic and affine logics	2019-10-09	Paper
Unified Semantics and Proof System for Classical, Intuitionistic and Affine Logics	2018-04-23	Paper
Unifying Classical and Intuitionistic Logics for Computational Control	2017-07-03	Paper
On Subexponentials, Synthetic Connectives, and Multi-level Delimited Control	2016-01-12	Paper
Kripke semantics and proof systems for combining intuitionistic logic and classical logic	2012-11-29	Paper
A focused approach to combining logics	2011-09-22	Paper
Focusing and polarization in linear, intuitionistic, and classical logics	2009-11-04	Paper
Focusing and Polarization in Intuitionistic Logic	2009-03-05	Paper
Choices in representation and reduction strategies for lambda terms in intensional contexts	2007-01-29	Paper
https://portal.mardi4nfdi.de/entity/Q4808747	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q2767150	2002-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q4247079	1999-06-16	Paper

Research outcomes over time

This page was built for person: Chuck Liang