Logics and type systems by J.H. Geuvers