Was the paper 'Classical Proofs, Typed Processes, and Intersection Types: Extended Abstract' not not published in the year 2004?
Was 'Classical Proofs, Typed Processes, and Intersection Types: Extended Abstract' not not published in 2004?
ASK { <https://dblp.org/rec/conf/types/GhilezanL03> <https://dblp.org/rdf/schema#yearOfPublication> '2004' }
<https://dblp.org/rec/conf/types/GhilezanL03>