A security kernel based on the lambda-calculus - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Jonathan Rees. A security kernel based on the lambda-calculus. PhD thesis, Massachusetts Institute of Technology, Cambridge, MA, USA, 1995. [doi]

@phdthesis{ndltd-1882,
  title = {A security kernel based on the lambda-calculus},
  author = {Jonathan Rees},
  year = {1995},
  url = {http://hdl.handle.net/1721.1/36956},
  note = {ndltd.org (oai:dspace.mit.edu:1721.1/36956)},
  researchr = {https://researchr.org/publication/ndltd-1882},
  cites = {0},
  citedby = {0},
  school = {Massachusetts Institute of Technology, Cambridge, MA, USA},
}

runs on WebDSL