Jesper Carlström
According to our database^{1},
Jesper Carlström
authored at least 5 papers
between 2002 and 2008.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepages:

at andrej.com
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 MartinLöf's Type Theory.
Proceedings of the Types for Proofs and Programs, Second International Workshop, 2002