Beatrice Capitani

2001
1	EE	Beatrice Capitani, Michele Loreti, Betti Venneri: Hyperformulae, Parallel Deductions and Intersection Types. Electr. Notes Theor. Comput. Sci. 50(2): (2001)

Coauthor Index

1	Michele Loreti	[1]
2	Betti Venneri	[1]