TPS: A Theorem-Proving System for Classical 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: A Theorem-Proving System for Classical Type Theory. Journal of Automated Reasoning, 16(3):321-353, 1996.

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