Jesper Carlström

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 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2008
A constructive version of Birkhoff's theorem.
Math. Log. Q., 2008

2005
Interpreting descriptions in intensional type theory.
J. Symb. Log., 2005

2004
Wheels - on division by zero.
Mathematical Structures in Computer Science, 2004

EM + Ext- + ACint is equivalent to ACext.
Math. Log. Q., 2004

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


  Loading...