Persson, Henrik2008-08-112008-08-111999http://hdl.handle.net/2077/13590Type Theory and the Integrated Logic of ProgramsText