TPS: An Interactive and Automatic Tool for Proving Theorems of Type Theory - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Peter B. Andrews, Matthew Bishop, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi. TPS: An Interactive and Automatic Tool for Proving Theorems of Type Theory. In Jeffrey J. Joyce, Carl-Johan H. Seger, editors, Higher Order Logic Theorem Proving and its Applications, 6th International Workshop, HUG 93, Vancouver, BC, Canada, August 11-13, 1993, Proceedings. Volume 780 of Lecture Notes in Computer Science, pages 366-370, Springer, 1993.

This author has not been identified. Look up 'Peter B. Andrews' in GoogleThis author has not been identified. Look up 'Matthew Bishop' in GoogleThis author has not been identified. Look up 'Sunil Issar' in GoogleThis author has not been identified. Look up 'Dan Nesmith' in GoogleIdentified as Frank Pfenning Identified as Hongwei Xi (Boston University )

runs on WebDSL