A BRIDGE BETWEEN CONSTRUCTIVE LOGIC AND COMPUTER-PROGRAMMING

作     者：NEPEJVODA, NN 

作者机构：Applied Logics and Systemotechnic Department Kirova Str. 132 Izhevsk SU-426001 USSR 

出 版 物：《THEORETICAL COMPUTER SCIENCE》 (理论计算机科学)

年 卷 期：1991年第90卷第1期

页      面：253-270页

核心收录：

学科分类：08[工学] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

主　　题：Computer Programming 

摘      要：Some logic notions have their analogies among programming concepts and vice versa. But people often try to understand these analogies in too straightforward a manner. A collection of analogies arising between constructive logics and programming is summarized and illustrated here. Some examples of complexities usually not taken into account are shown.