| |
|
| |
In One Hundred Years of Russell's Paradox: Mathematics, Logic, Philosophy (2004), pp. 135-152.
|
| |
|
| |
In ICFP '08: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming (2008), pp. 229-240.
|
| |
J. Funct. Program., Vol. 14, No. 1. (January 2004), pp. 69-111.
|
| |
|
| |
In To H. B. Curry: essays on combinatory logic, lambda calculus and formalism (1980), pp. 589-606.
|
| |
|
| |
|
| |
Vol. 34 (1998), pp. 239-250.
|
| |
Information and Computation, Vol. 76, No. 2-3. ( 1988), pp. 95-120.
|
| |
In To H. B. Curry: essays on combinatory logic, lambda calculus and formalism (1980), pp. 480-490.
|
| |
|
| |
|
| |
Russell, Idealism, and the Emergence of Analytic Philosophy, pp. 285-328.
|
| |
Handbook of Logic in Computer Science: Vol 5: Logic and Algebraic Methods In Handbook of Logic in Computer Science: Vol 5: Logic and Algebraic Methods (2000), pp. 1-37.
|
| |
|
| |
In Twenty-Five Years of Constructive Type Theory (1998), pp. 127-172.
|
| |
|
| |
|
| |
Logic in Computer Science, 1999. Proceedings. 14th Symposium on (1999), pp. 412-420.
|
| |
|
| |
Diagrammatic Representation and Inference (2008), pp. 357-359.
|
| |
|
| |
Functional and Logic Programming (2008), pp. 81-96.
|
| |
In Proceedings of the 30th ACM Conference on Programming Language Design and Implementation (2008)
|
| |
In Formal Description of Programming Concepts (1991), pp. 431-507.
|
| |
Types for Proofs and Programs (2003), pp. 617-617.
|
| |
|
| |
|
| |
|
| |
SIGPLAN Not., Vol. 43, No. 1. (January 2008), pp. 297-308.
|
| |
In Semantics and Logics of Computation, Vol. 14 (1997), pp. 79-130.
|
| |
In Dependently Typed Programming, No. 04381. (2005)
|
| |
|
| |
In Advanced Topics in Types and Programming Languages (19 November 2004)
|
| |
In Handbook of Logic in Computer Science, Volumes 1 (Background: Mathematical Structures) and 2 (Background: Computational Structures), Abramsky \& Gabbay \& Maibaum (Eds.), Clarendon, Vol. 2 (1992)
|
| |
J. Funct. Program., Vol. 10, No. 4. (July 2000), pp. 409-415.
|
| |
In Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures (2002), pp. 1-41.
|
| |
Types for Proofs and Programs In Types for Proofs and Programs (2007), pp. 237-252.
|
| |
|
| |
|
| |
In The Computer Science and Engineering Handbook (1997)
|
| |
|
| |
|
| |
|
| |
Journal of Functional Programming, Vol. 1, No. 2. (April 1991), pp. 125-154.
|
| |
|
