Lambda Calculus Characterizations of Poly-Time - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Daniel Leivant, Jean-Yves Marion. Lambda Calculus Characterizations of Poly-Time. Fundamenta Informaticae, 19(1/2):167-184, 1993.

@article{LeivantM93:0,
  title = {Lambda Calculus Characterizations of Poly-Time},
  author = {Daniel Leivant and Jean-Yves Marion},
  year = {1993},
  researchr = {https://researchr.org/publication/LeivantM93%3A0},
  cites = {0},
  citedby = {0},
  journal = {Fundamenta Informaticae},
  volume = {19},
  number = {1/2},
  pages = {167-184},
}

runs on WebDSL