A connection between capability-based security and lambda calculus | Heykuki News