| An Analysis of Bohm's theorem (1993) | |||||||||||||||
Abstract | |||||||||||||||
| 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. | |||||||||||||||
Details der Publikation | |||||||||||||||
| |||||||||||||||