37 citations · 105 across the 15 of their papers we have counts for
1 paper · 1 filter
Jean-Louis Krivine, Yves Legrandgérard
We describe a remarkable relation between the notion of valid formula of predicate logic and the specification of network protocols. We give several examples such as the acknowledg…