Hyperformulae, Parallel Deductions and Intersection Types
Beatrice Capitani, Michele Loreti, Betti VenneriVolume:
50
Year:
2001
Language:
english
Pages:
18
DOI:
10.1016/s1571-0661(04)00172-0
File:
PDF, 324 KB
english, 2001