Subtyping Object and Recursive Types Logically - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Steffen van Bakel, Ugo de Liguoro. Subtyping Object and Recursive Types Logically. In Mario Coppo, Elena Lodi, G. Michele Pinna, editors, Theoretical Computer Science, 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings. Volume 3701 of Lecture Notes in Computer Science, pages 66-80, Springer, 2005. [doi]

This author has not been identified. Look up 'Steffen van Bakel' in GoogleThis author has not been identified. Look up 'Ugo de Liguoro' in Google

runs on WebDSL