A connection between capability-based security and lambda calculus

killerstorm.github.io

2 pointskillerstorm1 comment

The connection between object-capabilities and OOP is not spurious. It is essential.