Relative Definability and Models of Unary PCF - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Antonio Bucciarelli, Benjamin Leperchey, Vincent Padovani. Relative Definability and Models of Unary PCF. In Martin Hofmann, editor, Typed Lambda Calculi and Applications, 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings. Volume 2701 of Lecture Notes in Computer Science, pages 75-89, Springer, 2003. [doi]

This author has not been identified. Look up 'Antonio Bucciarelli' in GoogleThis author has not been identified. Look up 'Benjamin Leperchey' in GoogleThis author has not been identified. Look up 'Vincent Padovani' in Google

runs on WebDSL