| |
|
| |
|
| |
Progress in brain research In Models of Brain and Mind - Physical, Computational and Psychological Approaches, Vol. 168 (2007), pp. 115-132.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
Algebra and Coalgebra in Computer Science (2005), pp. 213-231.
|
| |
|
| |
|
| |
|
| |
In PEPM '07: Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (2007), pp. 122-133.
|
| |
|
| |
|
| |
Philosophical Studies, Vol. 33, No. 3. (1 April 1978), pp. 301-312.
|
| |
|
| |
|
| |
|
| |
Science of Computer Programming, Vol. 70, No. 1. (1 January 2008), pp. 1-30.
|
| |
|
| |
Royal Society of London Philosophical Transactions Series A, Vol. 312 (October 1984), pp. 501-518.
|
| |
ArXiv Quantum Physics e-prints (March 2007)
|
| |
ArXiv Quantum Physics e-prints (March 2007)
|
| |
|
| |
ArXiv Quantum Physics e-prints (March 2007)
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
Soft\-waredash Prac\-tice and Experience, Vol. 26, No. 6. (1996), pp. 635-652.
|
| |
In CSL (1994), pp. 427-441.
|
| |
Electronic Notes in Theoretical Computer Science In CMCS 2001, Coalgebraic Methods in Computer Science (a Satellite Event of ETAPS 2001), Vol. 44, No. 1. (May 2001), pp. 88-127.
|
| |
|
| |
SIGPLAN Not., Vol. 42, No. 9. (September 2007), pp. 29-40.
|
| |
In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 49-61.
|
| |
Physical Review Letters, Vol. 88, No. 4. (2002)
|
| |
|
| |
Computing Systems, Vol. 2, No. 2. (1989), pp. 133-153.
|
| |
SIGPLAN Not., Vol. 39, No. 10. (October 2004), pp. 50-68.
|
| |
|
| |
In Conference Record of the 1980 LISP Conference, Stanford University (1980)
|
| |
|
| |
In Handbook of Logic in Computer Science Volume 3 (1994), pp. 1-168.
|
| |
|
| |
|
| |
Journal of Functional Programming, Vol. 2, No. 2. (1992), pp. 127-202.
|
| |
|
| |
|
Search
