On polymorphic types of untyped terms - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Rick Statman. On polymorphic types of untyped terms. J. Comput. Syst. Sci., 80(6):1163-1173, 2014. [doi]

@article{Statman14,
  title = {On polymorphic types of untyped terms},
  author = {Rick Statman},
  year = {2014},
  doi = {10.1016/j.jcss.2014.04.008},
  url = {http://dx.doi.org/10.1016/j.jcss.2014.04.008},
  researchr = {https://researchr.org/publication/Statman14},
  cites = {0},
  citedby = {0},
  journal = {J. Comput. Syst. Sci.},
  volume = {80},
  number = {6},
  pages = {1163-1173},
}

runs on WebDSL