共 50 条
- [2] An algebraic framework for higher-order modules [J]. FM'99-FORMAL METHODS, VOL II, 1999, 1709 : 1778 - 1797
- [4] ALGEBRAIC THEORY OF HIGHER-ORDER DERIVATIONS [J]. TRANSACTIONS OF THE ROYAL SOCIETY OF CANADA, 1969, 7 : 279 - &
- [7] AN ALGEBRAIC SEMANTICS OF HIGHER-ORDER TYPES WITH SUBTYPES [J]. ACTA INFORMATICA, 1993, 30 (06) : 569 - 607
- [10] Higher-order Stark effect on single-molecules [J]. CHEMICAL PHYSICS, 2002, 282 (01) : 109 - 119