Geometry of interaction II: deadlock free algorithms (1989)

by J Y Girard
Venue:In Proceedings of COLOG 88, number 417 in LNCS