Intrinsic reasoning about functional programs I: first order theories

@article{Leivant2002IntrinsicRA,
  title={Intrinsic reasoning about functional programs I: first order theories},
  author={Daniel Leivant},
  journal={Ann. Pure Appl. Logic},
  year={2002},
  volume={114},
  pages={117-153}
}
Highly Cited
This paper has 28 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…