The Hereditary Partial Effective Functionals and Recursion Theory in Higher Types - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Giuseppe Longo, Eugenio Moggi. The Hereditary Partial Effective Functionals and Recursion Theory in Higher Types. Journal of Symbolic Logic, 49(4):1319-1332, 1984.

@article{LongoM84:2,
  title = {The Hereditary Partial Effective Functionals and Recursion Theory in Higher Types},
  author = {Giuseppe Longo and Eugenio Moggi},
  year = {1984},
  tags = {type theory},
  researchr = {https://researchr.org/publication/LongoM84%3A2},
  cites = {0},
  citedby = {0},
  journal = {Journal of Symbolic Logic},
  volume = {49},
  number = {4},
  pages = {1319-1332},
}

runs on WebDSL