Classical proofs, typed processes and intersection types (0)

by S Ghilezan, P Lescanne
Venue:Coppo & F. Damiani (eds), TYPES’03. forthcoming in Lecture Notes in Computer Science