Paper: Unified Semantics and Proof System for Classical, Intuitionistic and Affine Logics (at LICS 2016)
Authors: Chuck Liang
Abstract
No Abstract Available
BibTeX
@InProceedings{Liang-UnifiedSemanticsand, author = {Chuck Liang}, title = {Unified Semantics and Proof System for Classical, Intuitionistic and Affine Logics}, booktitle = {Proceedings of the Thirty first Annual IEEE Symposium on Logic in Computer Science (LICS 2016)}, year = {2016}, month = {July}, pages = {156--165}, location = {New York City}, publisher = {IEEE Computer Society Press} }