Integrating Automated and Interactive Theorem Proving in Type Theory. (2010)
Attributed to:
Theory And Applications of Induction Recursion
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Publication URI: http://www.cs.swan.ac.uk/~csetzer/articles/kansoSetzerAvocs2010.pdf
Type: Conference/Paper/Proceeding/Abstract
Parent Publication: Proceedings of AVOCS 2010