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

by J Y Girard
Venue:Lecture Note in Computer Science, In Martin-Löf, Mints editors, Vol.417