Pure Type Systems with Definitions - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Paula Severi, Erik Poll. Pure Type Systems with Definitions. In Anil Nerode, Yuri Matiyasevich, editors, Logical Foundations of Computer Science, Third International Symposium, LFCS 94, St. Petersburg, Russia, July 11-14, 1994, Proceedings. Volume 813 of Lecture Notes in Computer Science, pages 316-328, Springer, 1994.

This author has not been identified. Look up 'Paula Severi' in GoogleThis author has not been identified. Look up 'Erik Poll' in Google

runs on WebDSL