An Improved System of Intersection Types for Explicit Substitutions - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Daniel J. Dougherty, Stéphane Lengrand, Pierre Lescanne. An Improved System of Intersection Types for Explicit Substitutions. In Ricardo A. Baeza-Yates, Ugo Montanari, Nicola Santoro, editors, Foundations of Information Technology in the Era of Networking and Mobile Computing, IFIP 17:::th::: World Computer Congress - TC1 Stream / 2:::nd::: IFIP International Conference on Theoretical Computer Science (TCS 2002), August 25-30, 2002, Montr&eacut. Volume 223 of IFIP Conference Proceedings, pages 511-523, Kluwer, 2002.

This author has not been identified. Look up 'Daniel J. Dougherty' in GoogleThis author has not been identified. Look up 'Stéphane Lengrand' in GoogleThis author has not been identified. Look up 'Pierre Lescanne' in Google

runs on WebDSL