- A.Asperti
The Intensional Content of Rice's Theorem
Proceedings of the 35th Annual ACM SIGPLAN - SIGACT Symposium
on Principles of Programming Languages (POPL 2008), San Francisco,
USA, 2008.
- A.Asperti, E.Tassi.
Higher order proof reconstruction from paramodulation-based
refutations: the unit equality case.
Proceedings of MKM 2007: The 6th International Conference
on Mathematical Knowledge Management.
LNCS 4573, 2007.
- A.Asperti, C.Sacerdoti Coen, E.Tassi, S.Zacchiroli.
Crafting a Proof Assistant.
Proceedings of Types 2006: Types for Proofs and Programs.
Nottingham, UK -- April 18-21, 2006.
LNCS 4502,
Springer, ISBN 978-3-540-74463-4, pp. 18-32, 2007
- A.Asperti, C.Sacerdoti Coen, E.Tassi, S.Zacchiroli.
User Interaction with
the Matita Proof Assistant.
Journal of Automated Reasoning,
Special Issue on User Interfaces for Theorem Proving,
Springer Netherlands, ISSN 0168-7433, pp. 109-139, 2007
- A.Asperti, H.Geuvers, I.Loeb, L.E.Mamane, C.Sacerdoti Coen.
An Interactive Algebra Course with Formalised Proofs and Definitions.
.Proceedings of the Fourth International Conference on
Mathemtical Knowledge Management. Bremen, Germany, July 2005.
|