Disjunctive Tautologies as Synchronisation Schemes (2000)

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