Disjunctive Tautologies as Synchronisation Schemes (2000)

by Vincent Danos , Jean-louis Krivine , Université Paris , Équipe Preuves
Venue:In Computer Science Logic’00
Citations:21 - 3 self