PaperA list-oriented extension of the lambda-calculus satisfying the Church-Rosser theoremGyörgy E. RévészTheoretical Computer Science
Conference paperStrong and flexible domain typing for dynamic E-businessYigal Hoffner, Simon Field, et al.EDOC 2004
PaperEvent monitoring and service in a flat world benefits and challengesThomas M. ChengIT Professional