AN ANALYSIS OF BOHM THEOREM

Authors
HUET G
Citation
G. Huet, AN ANALYSIS OF BOHM THEOREM, Theoretical computer science, 121(1-2), 1993, pp. 145-167
Citations number
11
Categorie Soggetti
Computer Sciences","Computer Applications & Cybernetics",Mathematics
Journal title
Theoretical computer science → ACNP
ISSN journal
03043975
Volume
121
Issue
1-2
Year of publication
1993
Pages
145 - 167
Database
ISI
SICI code
0304-3975(1993)121:1-2<145:AAOBT>2.0.ZU;2-X
Abstract
In this article we present a detailed analysis of Bohm's theorem, expl ained completely constructively as an algorithmic development in the f unctional language ML.