Focusing and Polarization in Intuitionistic Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Chuck Liang, Dale Miller. Focusing and Polarization in Intuitionistic Logic. In Jacques Duparc, Thomas A. Henzinger, editors, Computer Science Logic, 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings. Volume 4646 of Lecture Notes in Computer Science, pages 451-465, Springer, 2007. [doi]

This author has not been identified. Look up 'Chuck Liang' in GoogleThis author has not been identified. Look up 'Dale Miller' in Google

runs on WebDSL