Affiliation:
1. Trinity College Dublin
Publisher
Open Publishing Association
Reference18 articles.
1. Proof General: A Generic Tool for Proof Development;Aspinall,2000
2. The CoRe Calculus;Autexier,2005
3. Generalized Rewriting in Type Theory;Basin;Elektronische Informationsverarbeitung und Kybernetik,1994
4. Texts in theoretical computer science;Bertot,2004
5. Proof by Pointing;Bertot,1994