Disjunctive Tautologies as Synchronisation Schemes

Abstract In the ambient logic of classical second order propositional calculus, we solve the specification problem for a family of excluded middle like tautologies. These are shown to be realized by sequential simulations of specific communication schemes for which they provide a safe typing mechanism.

Authors

• Vincent Danos
• Jean-Louis Krivine

Keywords

No keywords are indexed for this paper.