Amy P. Felty. The calculus of constructions as a framework for proof search with set variable instantiation. Theoretical Computer Science, 232(1-2):187-229, 2000. [doi]
No references recorded for this publication.
No citations of this publication recorded.