Login / Signup
Beatrice Capitani
Publication Activity (10 Years)
Years Active: 2001-2001
Publications (10 Years): 0
</>
Publications
</>
Beatrice Capitani
,
Michele Loreti
,
Betti Venneri
Hyperformulae, Parallel Deductions and Intersection Types.
Electron. Notes Theor. Comput. Sci.
50 (2) (2001)