Higher-Order Linear Ramified Recurrence - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ugo Dal Lago, Simone Martini, Luca Roversi. Higher-Order Linear Ramified Recurrence. In Stefano Berardi, Mario Coppo, Ferruccio Damiani, editors, Types for Proofs and Programs, International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers. Volume 3085 of Lecture Notes in Computer Science, pages 178-193, Springer, 2003. [doi]

This author has not been identified. Look up 'Ugo Dal Lago' in GoogleThis author has not been identified. Look up 'Simone Martini' in GoogleThis author has not been identified. Look up 'Luca Roversi' in Google

runs on WebDSL