Parameters in Pure Type Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Roel Bloo, Fairouz Kamareddine, Twan Laan, Rob Nederpelt. Parameters in Pure Type Systems. In Sergio Rajsbaum, editor, LATIN 2002: Theoretical Informatics, 5th Latin American Symposium, Cancun, Mexico, April 3-6, 2002, Proceedings. Volume 2286 of Lecture Notes in Computer Science, pages 371-385, Springer, 2002. [doi]

This author has not been identified. Look up 'Roel Bloo' in GoogleThis author has not been identified. Look up 'Fairouz Kamareddine' in GoogleThis author has not been identified. Look up 'Twan Laan' in GoogleThis author has not been identified. Look up 'Rob Nederpelt' in Google

runs on WebDSL