The paper presents a simple programming language and rewriting system called GENS. It is based on an extension of the λ-calculus called λ

The purpose of this paper is to define and to introduce the λ

The paper presents a simple programming language and rewriting system called GENS. It is based on an extension of the λ-calculus called λ

The purpose of this paper is to define and to introduce the λ