Geometry of interaction II: deadlock free algorithms (1989)

by J-Y Girard
Venue:Proceedings of COLOG 88, number 417 in Lecture Notes In Computer Science