共 38 条
[1]
Abadi M., 1991, Journal of Functional Programming, V1, P375, DOI 10.1017/S0956796800000186
[2]
ABRAMSKY S, 1989, DECLARATIVE PROGRAMM, P65
[3]
BARENDREGT H, 1984, LAMBDA CALCULUS, V103
[6]
BREAZUTANNEN V, 1988, P LICS 88 ED
[8]
Curien P.-L., 1994, Journal of Functional Programming, V4, P113, DOI 10.1017/S0956796800000976
[10]
CURIEN PL, 1986, RES NOTES THEORETICA