A connection between capability-based security and lambda calculus

Motivation