| |
|
| |
|
| |
|
| |
Lecture Notes in Computer Science, Vol. 1384 (1998)
|
| |
ACM SIG\-PLAN Notices, Vol. 35, No. 5. (2000), pp. 83-94.
|
| |
Types for Proofs and Programs (2003), pp. 617-617.
|
| |
|
| |
In Proceedings of the Eighteenth International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2005) (2005)
|
| |
SIGPLAN Not., Vol. 21, No. 7. (July 1986), pp. 219-233.
|
| |
|
| |
Information Processing Letters, Vol. 94, No. 5. (15 June 2005), pp. 217-224.
|
| |
Theor. Comput. Sci., Vol. 308, No. 1-3. (2003), pp. 239-257.
|
| |
Mathematical Structures in Computer Science, Vol. 2, No. 4. (1992), pp. 361-391.
|
| |
Theoretical Computer Science, Vol. 1, No. 2. (December 1975), pp. 125-159.
|
| |
|
| |
In MERLIN '03: Proceedings of the 2003 workshop on Mechanized reasoning about languages with variable binding (2003), pp. 1-8.
|
| |
SIGPLAN Not., Vol. 42, No. 6. (June 2007), pp. 54-65.
|
| |
Logic for Programming, Artificial Intelligence, and Reasoning (2007), pp. 211-225.
|
