| |
Electronic Notes in Theoretical Computer Science, Vol. 161 (31 August 2006), pp. 59-71.
|
| |
In Mathematically Structured Functional Programming (2006)
|
| |
|
| |
Electron. Notes Theor. Comput. Sci., Vol. 203, No. 5. (2008), pp. 263-284.
|
| |
|
| |
Reprints in Theory and Applications of Categories, No. 12. (2005), pp. 1-287.
|
| |
|
| |
|
| |
In Lecture Notes of the STOP 1992 Summerschool on Constructive Algorithmics (1992)
|
| |
|
| |
|
| |
Logical Methods in Computer Science
|
| |
The Monad.Reader, No. 13.
|
| |
Foundations of Software Science and Computation Structures (2003), pp. 23-38.
|
| |
International Journal of Foundations of Computer Science, Vol. 20, No. 1. (2009), pp. 83-107.
|
| |
In Proc. CMCS 2006 (2006)
|
| |
|
| |
Mathematical Structures in Computer Science, Vol. 1, No. 1. (1991), pp. 49-67.
|
| |
Proceedings of Workshop on Mathematically Structured Functional Programming In MSFP 2006 (July 2006)
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
Logic in Computer Science, 1989. LICS '89, Proceedings., Fourth Annual Symposium on (1989), pp. 14-23.
|
| |
Seminar on Concurrency (1985), pp. 246-267.
|
| |
EATCS Bulletin, Vol. 62 (1997), pp. 62-222.
|
| |
In Proceedings 5th ACM Conf.\ on Functional Programming Languages and Computer Architecture, {FPCA}'91, Cambridge, {MA}, {USA}, 26--30 Aug 1991, Vol. 523 (1991), pp. 124-144.
|
CiteULike
pedagand's CiteULike
Search
Export
