38 R. KAHLE, I. OITAVEM (ed.). Days in Logic ’06:Two Tutorials, 2006. 39 O. AZENHAS, A.L. DUARTE, J.F. QUEIRO´, A.P. SANTANA (ed.). Mathematical Papers in Honour of Eduardo Marques de S´a, 2006. 40 R. KAHLE. The applicative realm, 2007.