Bistructures, Bidomains and Linear Logic (1997)

by Pierre-Louis Curien , Gordon Plotkin , Glynn Winskel
Venue:in Proc. 21st ICALP
Citations:9 - 3 self