This article is cited in 2 papers

Some models of combinatory logic

D. Skordev

Sofia University

Abstract: Some models for the weak theory of combinators are described. These models consist of partial functions having natural number arguments and natural number values. The role of the application operation is played by certain $\mu$-recursive operators.

UDC: 519.1

Received: 03.06.1974

 English version: Mathematical Notes, 1976, 19:1, 88–90

Bibliographic databases:

• 
•