Algebraizing higher-order logics - Mendes, Caio; Mariano, Hugo Luiz (Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL), 2019)