论文信息 - PAP: A Logic Programming System Based on a Constructive Logic - 字舞流文

PAP: A Logic Programming System Based on a Constructive Logic

Pierangelo Miglioli | Mario Ornaghi | Ugo Moscato | P. Miglioli | Mario Ornaghi | U. Moscato

[1] Manfred Broy,et al. On the Algebraic Extensions of Abstract Data Types , 1981, ICFPC.

[2] Shigeki Goto. Program synthesis through Gödel's interpretation , 1978, Mathematical Studies of Information Processing.

[3] Giancarlo Mauri,et al. Abstract Data Types and Their Extensions within a Constructive Logic , 1984, Semantics of Data Types.

[4] Alberto Bertoni,et al. On different approaches to abstract data types and the existence of recursive models , 1979 .

[5] Jan M. Smith,et al. Propositions and specifications of programs in Martin-Löf's type theory , 1984, BIT.

[6] A. Troelstra. Metamathematical investigation of intuitionistic arithmetic and analysis , 1973 .

[7] Pierangelo Miglioli,et al. Constructive Theories with Abstract Data Types for Program Synthesis , 1987 .

[8] Richmond H. Thomason,et al. A semantical study of constructible falsity , 1969 .

[9] Robert L. Constable,et al. Proofs as programs , 1985, TOPL.

[10] Chen C. Chang,et al. Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .