Dear Spiral User, There is still no access to Master’s dissertations until further notice. We apologise for any inconvenience this may cause. Please contact your subject librarian for further assistance. Kind Regards, Spiral Team.
 
Constructive type theories for computing science : a comparative study
File(s)
Author(s)
Phillips, Colin
Type
Thesis or dissertation
Version
Imperial Users only
Date Issued
1990
Date Awarded
1990
URI
Creator
Phillips, Colin
Publisher Department
Department of Computing
Publisher Institution
Imperial College London
Qualification Level
Doctoral
Qualification Name
MPhil