| |
|
| |
Types for Proofs and Programs (1996), pp. 135-152.
|
| |
INRIA ROCQUENCOURT (1998)
|
| |
In In Proc. 6th FroCoS (2007), pp. 148-162.
|
| |
|
| |
Theorem Proving in Higher Order Logics (2005), pp. 50-65.
|
| |
Commun. ACM, Vol. 52, No. 7. (2009), pp. 107-115.
|
| |
In PPDP '07: Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming (2007), pp. 1-12.
|
| |
In ICFP '07: Proceedings of the 12th ACM SIGPLAN international conference on Functional programming (2007), pp. 13-24.
|
| |
In POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2008), pp. 17-27.
|
| |
In POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2006), pp. 42-54.
|
| |
SIGPLAN Not., Vol. 42, No. 6. (June 2007), pp. 54-65.
|
| |
|
| |
Theorem Proving in Higher Order Logics (2008), pp. 310-319.
|
| |
SIGPLAN Not., Vol. 43, No. 1. (2008), pp. 17-27.
|
| |
|
| |
Mathematics of Program Construction (2006), pp. 49-68.
|
| |
|
| |
Theorem Proving in Higher Order Logics (2008), pp. 278-293.
|
| |
Types for Proofs and Programs (2007), pp. 237-252.
|
| |
In POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2008), pp. 3-15.
|
| |
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 199 (24 February 2008), pp. 17-32.
|
| |
In ICFP '08: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming (2008), pp. 229-240.
|
| |
|
| |
COLOG-88 (1990), pp. 50-66.
|
| |
Computer Science Logic (2006), pp. 182-196.
|
| |
FM 2006: Formal Methods (2006), pp. 460-475.
|
| |
In In European Symposium on Programming (ESOP 2006, Vol. 3924 (2006), pp. 54-68.
|
| |
In Proceedings of TACS'97, Vol. 1281 (1997), pp. 530-546.
|
| |
In PEPM '07: Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (2007), pp. 112-121.
|
| |
In Proceedings 9th Int.\ Conf.\ on Theorem Proving in Higher Order Logics, TPHOLs'96, Turku, Finland, 26--30 Aug 1996, Vol. 1125 (1996), pp. 125-139.
|
| |
Theorem Proving in Higher Order Logics (1999), pp. 83-83.
|
| |
Electron. Notes Theor. Comput. Sci., Vol. 212 (2008), pp. 225-239.
|
| |
|
| |
Electron. Notes Theor. Comput. Sci., Vol. 174, No. 7. (June 2007), pp. 17-21.
|
| |
In ICFP '06: Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming (2006), pp. 160-171.
|
| |
Types for Proofs and Programs (2003), pp. 617-617.
|
| |
Theoretical Computer Science In Real Numbers and Computers, Vol. 351, No. 1. (14 February 2006), pp. 39-51.
|
| |
|
| |
In TASE '07: Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (2007), pp. 326-338.
|
| |
Logic for Programming, Artificial Intelligence, and Reasoning (2007), pp. 211-225.
|
| |
|
| |
ACM Trans. Inf. Syst., Vol. 24, No. 4. (October 2006), pp. 475-502.
|
| |
Information and Computation, Vol. 164, No. 1. (10 January 2001), pp. 199-231.
posted to coq by keigoi
on 2006-08-25 10:05:28
as 
|
| |
Theoretical Computer Science, Vol. 253, No. 2. (28 February 2000), pp. 239-285.
|
| |
|
| |
In Handbook of Automated Reasoning (2001), pp. 1149-1238.
|
| |
Information Processing Letters, Vol. 97, No. 2. (31 January 2006), pp. 46-51.
|
Search
