Characterising Strongly Normalising Intuitionistic Sequent Terms - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

José Espírito Santo, Silvia Ghilezan, J. Ivetic. Characterising Strongly Normalising Intuitionistic Sequent Terms. In Marino Miculan, Ivan Scagnetto, Furio Honsell, editors, Types for Proofs and Programs, International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007, Revised Selected Papers. Volume 4941 of Lecture Notes in Computer Science, pages 85-99, Springer, 2007. [doi]

This author has not been identified. Look up 'José Espírito Santo' in GoogleThis author has not been identified. Look up 'Silvia Ghilezan' in GoogleThis author has not been identified. Look up 'J. Ivetic' in Google

runs on WebDSL