Jesper Carlström

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2008

4 Jesper Carlström: A constructive version of Birkhoff's theorem. Math. Log. Q. 54(1): 27-34 (2008)

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

	2008
4		Jesper Carlström: A constructive version of Birkhoff's theorem. Math. Log. Q. 54(1): 27-34 (2008)
	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