The Type Structure of CAT - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

J. Paul Myers Jr., Ronald E. Prather. The Type Structure of CAT. In J. Paul Myers Jr., Michael J. O Donnell, editors, Constructivity in Computer Science, Summer Symposium, San Antonio, Texas, USA, June 19-22, Proceedings. Volume 613 of Lecture Notes in Computer Science, pages 218-227, Springer, 1991.

This author has not been identified. Look up 'J. Paul Myers Jr.' in GoogleThis author has not been identified. Look up 'Ronald E. Prather' in Google

runs on WebDSL