Research Agendas, Inquiries and Answers in Constructive Type Theory Forskningsagendaer, forespørsler og svar i konstruktiv typeteori Hans Christian Nordtveit Kvernenes Mastergradsoppgave i filosofi V˚ ar 2017 Universitetet i Bergen Institutt for filosofi og førstesemesterstudier Masteroppgave i FILO350 Veileder: Ole Thomassen Hjortland