Being the class materials for type system course at UFOP.
Being the materials of type theory course at UFOP