Title: History and Philosophy of Constructive Type Theory (SYNTHESE LIBRARY Volume 290)