ملخص: In this paper we describe a c[beta]-machine which implements in a simple way the c[beta]-reduction. This reduction is a combinatory reduction which is equivalent to the [lambda][beta]-reduction and is defined in Mezghiche (1984, 1989). Some definitions and properties of c[beta]-reduction are recalled before giving the definition of the [beta]-machine.

لغة: إنجليزية