Disjunctive tautologies as synchronisation schemes (2000)

by V Danos, J-L Krivine
Venue:Proc. of 9 th Computer Science and Logic, LNCS