14 citations · 23 across the 8 of their papers we have counts for
1 paper · 1 filter
Petros Papapanagiotou, Jacques D. Fleuriot
We present a rigorous framework for the composition of Web Services within a higher order logic theorem prover. Our approach is based on the proofs-as-processes paradigm that enabl…