1 citations · 1 across the 1 of their papers we have counts for
1 paper
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…