Bisimulation in Untyped Lambda Calculus: Böhm Trees and Bisimulation up to Context

  title={Bisimulation in Untyped Lambda Calculus: B{\"o}hm Trees and Bisimulation up to Context},
  author={S. Lassen},
  journal={Electr. Notes Theor. Comput. Sci.},
Highly Cited
This paper has 21 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.
15 Citations
0 References
Similar Papers

Similar Papers

Loading similar papers…