| 2007 | ||
|---|---|---|
| 2 | EE | Jayshan Raghunandan, Alexander J. Summers: On the Computational Representation of Classical Logical Connectives. Electr. Notes Theor. Comput. Sci. 171(3): 85-109 (2007) |
| 2005 | ||
| 1 | EE | Steffen van Bakel, Jayshan Raghunandan: Implementing X. Electr. Notes Theor. Comput. Sci. 127(5): 171-195 (2005) |
| 1 | Steffen van Bakel | [1] |
| 2 | Alexander J. Summers | [2] |