Hyperformulae, Parallel Deductions and Intersection Types. - Beatrice Capitani; Michele Loreti; Betti Venneri (BOTH, 2001)