2017-07-13 UTC
# 
cwebber2 see also https://web.archive.org/web/20160302160222/www.eros-os.org/essays/capintro.html and the incredible http://mumble.net/~jar/pubs/secureos/secureos.html which demonstrates that security capabilities are a natural extension of the lambda calculus