| |
|
| |
|
| |
|
| |
|
| |
|
| |
Theory and Applications of Categories, Vol. 10, pp. 200-2.
|
| |
|
| |
|
| |
In Logic, Methodology and Philosophy of Science: Proceedings of the Twelfth International Congress (2005), pp. 189-205.
|
| |
In Philosophical Perspectives (1994), pp. 331-357.
|
| |
|
| |
|
| |
In PLPV '07: Proceedings of the 2007 workshop on Programming languages meets program verification (2007), pp. 57-68.
|
| |
In FLOPS '99: Proceedings of the 4th Fuji International Symposium on Functional and Logic Programming (1999), pp. 300-318.
|
| |
In Logic in Computer Science (1987)
|
| |
|
| |
|
| |
The Bulletin of Symbolic Logic, Vol. 5, No. 1. (1999), pp. 1-44.
|
| |
In Foundations of Software Science and Computation Structure (2002), pp. 342-356.
|
| |
|
| |
|
| |
|
| |
In Handbook of Philosophical Logic Volume III (1986)
|
| |
|
| |
|
| |
Mind, Vol. 95 (1986), pp. 465-477.
|
| |
|
| |
In Haskell '09: Proceedings of the 2nd ACM SIGPLAN symposium on Haskell (2009), pp. 37-48.
|
| |
|
| |
|
| |
In POPL '94: Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1994), pp. 446-457.
|
| |
|
| |
|
| |
Logica Universalis, Vol. 2, No. 1. (1 March 2008), pp. 31-41.
|
| |
Bulletin of Symbolic Logic, Vol. 9, No. 2. (2003), pp. 197-212.
|
| |
|
| |
Lecture Notes in Computer Science, pp. 1-41.
|
Search
