A connection between capability-based security and lambda calculus

2 points | by killerstorm a day ago

1 comments

  • compressedgas 14 hours ago

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