Chuck Liang

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Focusing Gentzen's LK proof system	2024-10-01	Paper
On the unification of classical, intuitionistic and affine logics Mathematical Structures in Computer Science	2019-10-09	Paper
Unified semantics and proof system for classical, intuitionistic and affine logics Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science	2018-04-23	Paper
Unifying classical and intuitionistic logics for computational control 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science	2017-07-03	Paper
On subexponentials, synthetic connectives, and multi-level delimited control Logic for Programming, Artificial Intelligence, and Reasoning	2016-01-12	Paper
Kripke semantics and proof systems for combining intuitionistic logic and classical logic Annals of Pure and Applied Logic	2012-11-29	Paper
A focused approach to combining logics Annals of Pure and Applied Logic	2011-09-22	Paper
Focusing and polarization in linear, intuitionistic, and classical logics Theoretical Computer Science	2009-11-04	Paper
Focusing and Polarization in Intuitionistic Logic Computer Science Logic	2009-03-05	Paper
Choices in representation and reduction strategies for lambda terms in intensional contexts Journal of Automated Reasoning	2007-01-29	Paper
scientific article; zbMATH DE number 2090073 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 1696871 (Why is no real title available?)	2002-01-28	Paper
scientific article; zbMATH DE number 1301856 (Why is no real title available?)	1999-06-16	Paper

Research outcomes over time

This page was built for person: Chuck Liang