We stand with Ukraine  

Jesper Carlström

Affiliations:
  • Stockholm University, Sweden


According to our database1, Jesper Carlström authored at least 5 papers between 2002 and 2008.

Collaborative distances:
  • no known Dijkstra number2.
  • no known Erdős number3.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2008
A constructive version of Birkhoff's theorem.
[BibTeX]
[DOI]
Jesper Carlström
Math. Log. Q., 2008

2005
Interpreting descriptions in intensional type theory.
[BibTeX]
[DOI]
Jesper Carlström
J. Symb. Log., 2005

2004
Wheels - on division by zero.
[BibTeX]
[DOI]
Jesper Carlström
Math. Struct. Comput. Sci., 2004

EM + Ext- + ACint is equivalent to ACext.
[BibTeX]
[DOI]
Jesper Carlström
Math. Log. Q., 2004

2002
Subsets, Quotients and Partial Functions in Martin-Löf's Type Theory.
[BibTeX]
[DOI]
Jesper Carlström
Proceedings of the Types for Proofs and Programs, Second International Workshop, 2002


  Loading...