An Analysis of Bohm's theorem
Résumé
We present in this article a detailed analysis of Bhm's theorem, an essentialy separability results in pure l-calculus. The theorem is explained completely constructively as an algorithmic development in the functional programming language ML.