Jesper Carlström

Bibliography

Carlström, Jesper. 2005. “Interpreting Descriptions in Intensional Type Theory.” The Journal of Symbolic Logic 70(2): 488–514.