共 50 条
- [1] Feasible Mechanisms in Economies with Type-Dependent Endowments [J]. Social Choice and Welfare, 2006, 26 : 403 - 419
- [4] Optimal allocation mechanisms with type-dependent negative externalities [J]. Theory and Decision, 2013, 75 : 359 - 387
- [7] A Language with Type-Dependent Equality [J]. INTELLIGENT COMPUTER MATHEMATICS (CICM 2021), 2021, 12833 : 211 - 227
- [8] Parametric and Type-Dependent Polymorphism [J]. Fundamenta Informaticae, 1995, 22 (1-2): : 69 - 92