Analogical Program Derivation Based on Type Theory - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Jianguo Lu, Jiafu Xu. Analogical Program Derivation Based on Type Theory. Theoretical Computer Science, 113(2):259-272, 1993.

@article{LuX93,
  title = {Analogical Program Derivation Based on Type Theory},
  author = {Jianguo Lu and Jiafu Xu},
  year = {1993},
  tags = {rule-based, type theory},
  researchr = {https://researchr.org/publication/LuX93},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {113},
  number = {2},
  pages = {259-272},
}

runs on WebDSL