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

@article{Lassen1999BisimulationIU,
  title={Bisimulation in Untyped Lambda Calculus: B{\"o}hm Trees and Bisimulation up to Context},
  author={S. Lassen},
  journal={Electr. Notes Theor. Comput. Sci.},
  year={1999},
  volume={20},
  pages={346-374}
}
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…