@misc{indiciaeb0c3f4b699c5,
  title = {Formalisation of the lambda aleph Runtime},
  author = {Neal Glew and Tim Sweeney and Leaf Petersen},
  year = {2013},
  url = {https://arxiv.org/abs/1307.5277},
  note = {Source identifier: 1307.5277}
}