Bror Bjerner

• Time complexity of programs in type theory