A Module Calculus for Pure Type Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Judicaël Courant. A Module Calculus for Pure Type Systems. In Philippe de Groote, editor, Typed Lambda Calculi and Applications, Third International Conference on Typed Lambda Calculi and Applications, TLCA 97, Nancy, France, April 2-4, 1997, Proceedings. Volume 1210 of Lecture Notes in Computer Science, pages 112-128, Springer, 1997.

This author has not been identified. Look up 'Judicaël Courant' in Google

runs on WebDSL