Type Theory and Logic lectures for FLOLAC'14