Strong Normalization of Classical Natural Deduction with Disjunction - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Philippe de Groote. Strong Normalization of Classical Natural Deduction with Disjunction. In Samson Abramsky, editor, Typed Lambda Calculi and Applications, 5th International Conference, TLCA 2001, Krakow, Poland, May 2-5, 2001, Proceedings. Volume 2044 of Lecture Notes in Computer Science, pages 182-196, Springer, 2001. [doi]

This author has not been identified. Look up 'Philippe de Groote' in Google

runs on WebDSL