| |
Computer Security Foundations Symposium, IEEE, Vol. 0 (2007), pp. 233-248.
|
| |
Network, IEEE In Network, IEEE, Vol. 17, No. 5. (2003), pp. 40-46.
|
| |
In ICFP '09: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming (2009), pp. 91-96.
|
| |
Journal of Automated Reasoning
|
| |
In POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2009), pp. 429-440.
|
| |
Higher Order Logic Theorem Proving and Its Applications (1995), pp. 122-137.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of Computing: The Australasian Theory Symposium (CATS) 2004, Vol. 91 (16 February 2004), pp. 212-228.
|
| |
Programming Languages and Systems (2008), pp. 1-15.
|
| |
J Holist Nurs, Vol. 20, No. 4. (1 December 2002), pp. 352-366.
|
| |
The Journal of Symbolic Logic, Vol. 5, No. 2. (1940), pp. 56-68.
|
| |
FM 2006: Formal Methods In 14th International Symposium on Formal Methods (August 2006), pp. 508-523.
|
| |
J. Funct. Program., Vol. 9, No. 2. (March 1999), pp. 191-223.
|
| |
HOL Theorem Proving System and Its Applications, 1991., International Workshop on the In HOL Theorem Proving System and Its Applications, 1991., International Workshop on the (1991), pp. 2-3.
|
| |
Theoretical Aspects of Computing - ICTAC 2006 (2006), pp. 1-14.
|
| |
Journal of Logic and Computation, Vol. 7, No. 2. (1997), pp. 175-204.
|
| |
|
| |
In TYPES '00: Selected papers from the International Workshop on Types for Proofs and Programs (2002), pp. 24-40.
|
| |
In Types for Proofs and Programs (TYPES 2002), Vol. 2277 (2002), pp. 21-38.
|
| |
|
| |
MLQ, Vol. 50, No. 6. (2004), pp. 603-612.
|
| |
|
| |
|
| |
Formal Methods in System Design, Vol. 27, No. 1-2. (September 2005), pp. 173-200.
|
Search
