Higher-Order Unification via Combinators - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Daniel J. Dougherty. Higher-Order Unification via Combinators. Theoretical Computer Science, 114(2):273-298, 1993.

@article{Dougherty93:1,
  title = {Higher-Order Unification via Combinators},
  author = {Daniel J. Dougherty},
  year = {1993},
  researchr = {https://researchr.org/publication/Dougherty93%3A1},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {114},
  number = {2},
  pages = {273-298},
}

runs on WebDSL