Subject
General Computer Science,Theoretical Computer Science
Reference10 articles.
1. Brown, C.E., Combining Type Theory and Untyped Set Theory, in: IJCAR 2006, Seattle, Washington, 2006, to appear
2. Brown, C.E., Verifying and Invalidating Textbook Proofs using Scunak, in: Mathematical Knowledge Management, MKM 2006, Wokingham, England, 2006, to appear
3. Functions and their basic properties;Byliński;Journal of Formalized Mathematics,1989
4. A survey of the project AUTOMATH;de Bruijn,1980
5. A framework for defining logics;Harper;Journal of the Association for Computing Machinery,1993