Brief Communications

A Functional Algebraic Model Equivalent to Kleene"s Slash Realizability

V. Kh. Khakhanyan

Moscow State University of Railway Communications

UDC: 517.120

Received: 14.01.2002

DOI: 10.4213/mzm541

 English version: Mathematical Notes, 2004, 75:1, 145–146

Bibliographic databases:

• 
• 
•