| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
Electron. Notes Theor. Comput. Sci., Vol. 225 (2009), pp. 3-19.
|
| |
In Mathematical Structures in Computer Science, Vol. 2 (1992), pp. 159-191.
|
| |
|
| |
|
| |
|
| |
Order, Vol. 3, No. 1. (1 March 1986), pp. 61-87.
|
| |
|
| |
|
| |
African Affairs, Vol. 98, No. 393. (1999), pp. 455-484.
|
| |
|
| |
|
| |
|
| |
|
| |
ArXiv e-prints, Vol. 801 (January 2008)
|
| |
Applications of Sheaves (1979), pp. 415-441.
|
| |
|
| |
Annals of Pure and Applied Logic, Vol. 108, No. 1-3. (2001), pp. 103-136.
|
| |
In Fundamentals of Computation Theory (1999), pp. 512-523.
|