Parallel Beta Reduction Is Not Elementary Recursive - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Andrea Asperti, Harry G. Mairson. Parallel Beta Reduction Is Not Elementary Recursive. Inf. Comput., 170(1):49-80, 2001.

@article{AspertiM01,
  title = {Parallel Beta Reduction Is Not Elementary Recursive},
  author = {Andrea Asperti and Harry G. Mairson},
  year = {2001},
  researchr = {https://researchr.org/publication/AspertiM01},
  cites = {0},
  citedby = {0},
  journal = {Inf. Comput.},
  volume = {170},
  number = {1},
  pages = {49-80},
}

runs on WebDSL