TY - BOOK T1 - The Type System of LML T2 - Types in Logic Programming Y1 - 1992 A1 - Bruno Bertolino A1 - Luigi Meo A1 - Dino Pedreschi A1 - Franco Turini JF - Types in Logic Programming ER - TY - CONF T1 - A Progress Report on the LML Project T2 - FGCS Y1 - 1988 A1 - Bruno Bertolino A1 - Paolo Mancarella A1 - Luigi Meo A1 - Luca Nini A1 - Dino Pedreschi A1 - Franco Turini JF - FGCS ER -