| |
|
| |
|
| |
|
| |
Electron. Notes Theor. Comput. Sci., Vol. 203, No. 5. (2008), pp. 263-284.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
Logic in Computer Science, 1997. LICS '97. Proceedings., 12th Annual IEEE Symposium on, Vol. 0 (06 August 2002), pp. 280-291.
|
| |
Typed Lambda Calculi and Applications (2003), pp. 1086-1086.
|
| |
|
| |
Philosophia Mathematica, Vol. 11, No. 2. (1 June 2003), pp. 129-157.
|
| |
|
| |
|
| |
Information and Computation, Vol. 93 (1989), pp. 55-92.
|
| |
|
| |
Mathematical. Structures in Comp. Sci., Vol. 14, No. 5. (2004), pp. 613-649.
|
| |
Neural Comput., Vol. 19, No. 10. (October 2007), pp. 2665-2693.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
ArXiv Mathematics e-prints (20 Apr 2000)
|
| |
|
| |
|
| |
ArXiv Quantum Physics e-prints (15 Dec 2005)
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction (2002), pp. 89-150.
|
| |
|
| |
In Tenth Annual Symposium on Logic in Computer Science (1995), pp. 444-454.
|
| |
J. Symb. Comput., Vol. 35, No. 2. (February 2003), pp. 127-135.
|
| |
Theor. Comput. Sci., Vol. 294, No. 3. (February 2003), pp. 439-471.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
Computer Security Foundations Workshop III, 1990. Proceedings In 3rd IEEE Computer Security Foundations Workshop (1990), pp. 44-50.
|
| |
|
| |
|
Search
