| |
In Categories in Computer Science and Logic, Vol. 92 (1989), pp. 69-108.
|
| |
In CSL '02: Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic (2002), pp. 442-457.
|
| |
|
| |
|
| |
The Bulletin of Symbolic Logic, Vol. 9, No. 2. (2003), pp. 131-168.
|
| |
In Computational Logic (1999), pp. 215-272.
|
| |
In Interactive Logic, Vol. 1 (2007), pp. 11-48.
|
| |
In POPL '90: Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1990), pp. 81-94.
|
| |
Theor. Comput. Sci., Vol. 111, No. 1-2. (1993), pp. 3-57.
|
| |
Theor. Comput. Sci., Vol. 50, No. 1. (January 1987), pp. 1-102.
|
| |
Journal of the ACM, Vol. 50, No. 5. (01 September 2003), pp. 752-794.
|
| |
Maximum-Entropy and Bayesian Methods in Science and Engineering, Vol. 1 (1988), 267.
|
| |
Annals of Pure and Applied Logic, Vol. 51 (1991), pp. 1-77.
|
| |
In CRC Handbook of Computer Science (1997), pp. 2237-2254.
|
| |
Reprints in Theory and Applications of Categories, No. 12. (2005), pp. 1-287.
|
| |
|
| |
In LICS '98: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science (1998), pp. 408-417.
|
| |
The Annals of Mathematical Statistics, Vol. 34, No. 1. (1963), pp. 199-205.
|
| |
In CC '02: Proceedings of the 11th International Conference on Compiler Construction (2002), pp. 159-178.
|
| |
Form. Methods Syst. Des., Vol. 6, No. 1. (1995), pp. 11-44.
|
| |
In Fluid Concepts and Creative Analogies (1995), pp. 205-267.
|
| |
In Introduction to Statistical Relational Learning (2007)
|
| |
In Advanced mean field methods: theory and practice. (2000)
|
| |
Artificial Intelligence, Vol. 94, No. 1-2. (July 1997), pp. 57-77.
|
| |
Mathematical Structures in Computer Science, Vol. 1, No. 1. (1991), pp. 49-67.
|
| |
Science, Vol. 322, No. 5909. (19 December 2008), pp. 1865-1868.
|
| |
In What is Category Theory? (2006), pp. 257-274.
|
| |
|
| |
J Neurophysiol, Vol. 87, No. 6. (June 2002), pp. 2629-2642.
|
| |
Neuron, Vol. 25, No. 3. (March 2000), pp. 707-715.
|
| |
|
| |
Science, Vol. 315, No. 5819. (23 March 2007), pp. 1719-1722.
|
| |
Nature Neuroscience In Nat Neurosci, Vol. 10, No. 6. (07 May 2007), pp. 682-684.
|
| |
|
| |
Decisions in Economics and Finance, Vol. 23, No. 1. (1 May 2000), pp. 53-74.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
Artificial General Intelligence (2007), pp. 389-501.
|
| |
|
| |
Data Min. Knowl. Discov., Vol. 2, No. 2. (June 1998), pp. 121-167.
|
| |
|
CiteULike
robotact's CiteULike
Search
Export
