 | 2008 |
|---|
| 5 |       | Jesper Carlström:
A constructive version of Birkhoff's theorem.
Math. Log. Q. 54(1): 27-34 (2008) |
| 2005 |
|---|
| 4 | | Jesper Carlström:
Interpreting descriptions in intensional type theory.
J. Symb. Log. 70(2): 488-514 (2005) |
| 2004 |
|---|
| 3 | | Jesper Carlström:
EM + Ext- + ACint is equivalent to ACext.
Math. Log. Q. 50(3): 236-240 (2004) |
| 2 | | Jesper Carlström:
Wheels - on division by zero.
Mathematical Structures in Computer Science 14(1): 143-184 (2004) |
| 2002 |
|---|
| 1 | | Jesper Carlström:
Subsets, Quotients and Partial Functions in Martin-Löf's Type Theory.
TYPES 2002: 78-94 |
Data released under the ODC-BY 1.0 license — See also our legal information page