Disjunctive Tautologies as Synchronisation Schemes.

Vincent Danos, Jean-Louis Krivine

Browse the full CSL paper archive.