Markov s Principle for Propositional Type Theory - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alexei Kopylov, Aleksey Nogin. Markov s Principle for Propositional Type Theory. In Laurent Fribourg, editor, Computer Science Logic, 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001, Proceedings. Volume 2142 of Lecture Notes in Computer Science, pages 570-584, Springer, 2001. [doi]

This author has not been identified. Look up 'Alexei Kopylov' in GoogleThis author has not been identified. Look up 'Aleksey Nogin' in Google

runs on WebDSL