Why higher-order logic is a good formalisation for hardwarecl.cam.ac.uk1 pointi_don_t_know8 months ago