| |
Theorem Proving in Higher Order Logics (2009), pp. 131-146.
|
| |
Computer Security Foundations Symposium, IEEE, Vol. 0 (2007), pp. 233-248.
|
| |
Journal of Applied Logic, Vol. 4, No. 4. (December 2006), pp. 505-532.
|
| |
Theorem Proving in Higher Order Logics (2005), pp. 50-65.
|
| |
In ICFP '09: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming (2009), pp. 91-96.
|
| |
Journal of Automated Reasoning
|
| |
Journal of Automated Reasoning, Vol. 39, No. 2. (1 August 2007), pp. 181-218.
|
| |
Automated Deduction – CADE-19 (2003), pp. 279-283.
|
| |
Automated Reasoning (2006), pp. 589-603.
|
| |
Types for Proofs and Programs (2007), pp. 160-174.
|
| |
|
| |
In Theorem Proving in Higher Order Logics: TPHOLs ’99, LNCS 1690, Vol. 1690 (1999)
|
| |
|
| |
|
| |
In TYPES '00: Selected papers from the International Workshop on Types for Proofs and Programs (2002), pp. 24-40.
|
| |
|
| |
Theorem Proving in Higher Order Logics (2005), pp. 261-277.
|
| |
Formal Aspects of Computing, Vol. 1, No. 1. (1 March 1989), pp. 320-338.
|
| |
Journal of Automated Reasoning
|
| |
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of Computing: The Australasian Theory Symposium (CATS) 2004, Vol. 91 (16 February 2004), pp. 212-228.
|
| |
Types for Proofs and Programs (2002), pp. 725-725.
|
| |
|
| |
J. Funct. Program., Vol. 9, No. 2. (March 1999), pp. 191-223.
|
| |
|
| |
|
| |
|
| |
In CSFW '06: Proceedings of the 19th IEEE Workshop on Computer Security Foundations (2006), pp. 153-166.
|
| |
Journal of Computer Security, Vol. 6 (1998), pp. 85-128.
|
| |
|
| |
|
| |
|
| |
In Theorem Proving in Higher Order Logics, No. 2410. (2002), pp. 99-114.
|
| |
|
| |
In Handbook of Automated Reasoning (2001), pp. 1149-1238.
|
| |
|
| |
In MERLIN '03: Proceedings of the 2003 workshop on Mechanized reasoning about languages with variable binding (2003), pp. 1-8.
|
Search
