Specification structures and propositions-as-types for concurrency (1995)

by S Abramsky, S Gay, R Nagarajan
Venue:Proof-Nets for Compact Categories with Biproducts 75 of the Banff Higher Order Workshop. Springer-Verlag Lecture Notes in Computer Science