Skip to Main content Skip to Navigation
Reports

An Analysis of Bohm's theorem

Gérard Huet 1
1 FORMEL
INRIA Rocquencourt
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.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00074664
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 4:02:04 PM
Last modification on : Thursday, February 11, 2021 - 2:50:07 PM
Long-term archiving on: : Tuesday, April 12, 2011 - 6:10:34 PM

Identifiers

  • HAL Id : inria-00074664, version 1

Collections

Citation

Gérard Huet. An Analysis of Bohm's theorem. [Research Report] RR-2008, INRIA. 1993. ⟨inria-00074664⟩

Share

Metrics

Record views

213

Files downloads

126