Vincent Danos, Jean-Louis Krivine
Disjunctive Tautologies as Synchronisation Schemes
CSL, 2000.
@inproceedings{CSL-2000-DanosK, author = "Vincent Danos and Jean-Louis Krivine", booktitle = "{Proceedings of the 14th EACSL Annual Conference on Computer Science Logic}", doi = "10.1007/3-540-44622-2_19", isbn = "3-540-67895-6", pages = "292--301", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Disjunctive Tautologies as Synchronisation Schemes}", volume = 1862, year = 2000, }