共 80 条
[1]
AMATO G, 2001, LECT NOTES ARTIF INT, V2250, P438
[2]
AMATO G, 2001, THESIS U PISA
[3]
[Anonymous], 1986, STUDIES ADV MATH
[4]
Asperti A, 1991, FDN COMPUTING SERIES
[5]
ASPERTI A, 1989, LOG PROGR P 6 INT C, P337
[6]
Bainbridge E.S., 1990, Logical Foundations of Functional Programming, P315
[8]
A GENERAL FRAMEWORK FOR SEMANTICS-BASED BOTTOM-UP ABSTRACT INTERPRETATION OF LOGIC PROGRAMS
[J].
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS,
1993, 15 (01)
:133-181
[9]
Barr M, 1990, CATEGORY THEORY COMP