Title: Logics and Type Systems in Theory and Practice