Bottom Type and The Halting Problem

A look into the concept of a bottom type and related Halting Problem.