Editing Böhm's theorem (section)

== References ==
The theorem was originally proved in:

* {{Bib Article
| id = Bohm1968
| author = C. Böhm
| title = Alcune proprietà delle forme β-η-normali nel λ-{{$|K}}-calcolo
| journal = Pubblicazioni dell'Istituto per le applicazioni del calcolo
| year = 1968
| number = 696
| url = https://www.ens-lyon.fr/LIP/REWRITING/TYPES_AND_L_CALCULUS/bohm696.pdf
}}

A presentation of the theorem is given in:

* {{Bib InCollection
| id = GuePipDez2009
| author = S. Guerrini, A. Piperno and M. Dezani-Ciancaglini
| year = 2009
| title = Böhm's Theorem
| booktitle = Fundamental Concepts in Computer Science
| doi = 10.1142/9781848162914_0001
| editor = E. Gelenbe and J.-P. Kahane
| url = https://www.worldscientific.com/doi/suppl/10.1142/p596/suppl_file/p596_chap01.pdf
}}

Other cited references:

* {{Bib Book
| id = Barendregt
| author = H. P. Barendregt
| title = The Lambda Calculus. Its Syntax and Semantics
| year = 1984
}}
* {{Bib Article
| id = Huet1993
| author = G. Huet
| title = An analysis of Böhm's theorem
| journal = Theoretical Computer Science
| year = 1993
| doi = 10.1016/0304-3975(93)90087-A
| volume = 121
| number = 1-2
}}
* {{Bib InProceedings
| id = DosenPetric2001
| author = K. Došen and Z. Petrić
| year = 2001
| title = The Typed Böhm Theorem
| editor = J.-J. Lévy
| booktitle = Böhm's theorem: applications to Computer Science Theory
| publisher = Electronic Notes in Theoretical Computer Science
| doi = 10.1016/S1571-0661(04)00168-9
}}
* {{Bib Thesis
| id = Joly2000
| author = T. Joly
| year = 2000
| title = Codages, séparabilité et représentation de fonctions en λ-calcul simplement typé et dans d'autres systèmes de types
| institution = Université Paris 7
}}
* {{Bib InProceedings
| id = MazPag2007
| author = D. Mazza and M. Pagani
| year = 2007
| title = The separation theorem for differential interaction nets
| booktitle = Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning (LPAR'07)
| doi = 10.5555/1779419.1779448
}}
* {{Bib Article
| id = Saurin2012
| author = A. Saurin
| title = Böhm theorem and Böhm trees for the Λμ-calculus
| journal = Theoretical Computer Science
| year = 2012
| doi = 10.1016/j.tcs.2012.02.027
| volume = 435
}}