The Logic of Proofs as a Foundation for Certifying Mobile Computation.

Eduardo Bonelli, Federico Feller

Browse the full LFCS paper archive.