共 26 条
[1]
Abadi M., 1991, Journal of Functional Programming, V1, P375, DOI 10.1017/S0956796800000186
[2]
Andreoli J. M., 1992, Journal of Logic and Computation, V2, P297, DOI 10.1093/logcom/2.3.297
[3]
Focussing and proof construction
[J].
ANNALS OF PURE AND APPLIED LOGIC,
2001, 107 (1-3)
:131-163
[4]
BRANDT M, 1998, FUNDAMENTA INFORM, V20, P1
[5]
Buchholz W., 1981, Iterated Inductive Definitions and Subsystems of Analysis
[7]
*COQ DEV TEAM, 2006, COQ PROOF ASS REF MA
[9]
COQUAND T, 1992, P WORKSH TYP PROOFS, P71
[10]
COQUAND T, 1989, LNCS, V389