Disjunctive Tautologies as Synchronisation Schemes (2000)

by V Danos, J-L Krivine
Venue:In CSL’00, volume 1862 of LNCS