Mechanising lambda-calculus using a classical first order theory of terms with permutations

@article{Norrish2006MechanisingLU,
  title={Mechanising lambda-calculus using a classical first order theory of terms with permutations},
  author={Michael Norrish},
  journal={Higher-Order and Symbolic Computation},
  year={2006},
  volume={19},
  pages={169-195}
}
Highly Cited
This paper has 23 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…