PaperDistributed Code Assignments for CDMA Packet Radio NetworksLimin HuIEEE/ACM Transactions on Networking
PaperA list-oriented extension of the lambda-calculus satisfying the Church-Rosser theoremGyörgy E. RévészTheoretical Computer Science