Alberto Cappai

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Interactive behaviors are ubiquitous in modern cryptography, but are also present in λ-calculi, in the form of higher-order constructions. Traditionally, however, typed λ-calculi simply do not fit well into cryptography, being both deterministic and too powerful as for the complexity of functions they can express. We study interaction in a λ-calculus for(More)
  • 1