Geometry of interaction II: deadlock-free algorithms (1990)

by J-Y Girard
Venue:Proc. COLOG88, P. Martin-Löf and G. Mints eds, Springer Lecture Notes in Computer Science 417