| |
| 2008 | ||
|---|---|---|
| 4 | EE | Jesper Carlström: A constructive version of Birkhoff's theorem. Math. Log. Q. 54(1): 27-34 (2008) |
| 2004 | ||
| 3 | EE | Jesper Carlström: EM + Ext- + ACint is equivalent to ACext. Math. Log. Q. 50(3): 236-240 (2004) |
| 2 | EE | Jesper Carlström: Wheels - on division by zero. Mathematical Structures in Computer Science 14(1): 143-184 (2004) |
| 2002 | ||
| 1 | EE | Jesper Carlström: Subsets, Quotients and Partial Functions in Martin-Löf's Type Theory. TYPES 2002: 78-94 |