Mathematics

Set theory in type-free combinatorially complete systems

A. S. Kuzichev


Abstract: The paper contains the results of an analysis of $\mathscr{A}_0$-system. The introduction of set-theoretical concepts into deductive extensions of Church's calculus of $\lambda$-conversion is discussed.

UDC: 517.12

Received: 22.11.1982

Bibliographic databases:

• 
•