This video introduces Typing Rules, which are ways to verify type annotations associated with terms of a programming language.
Right-click 'Download' and select 'Save Link As' if the file opens in a new tab.