Conference paperSocial networks and discovery in the enterprise (SaND)Inbal Ronen, Elad Shahar, et al.SIGIR 2009
PaperA list-oriented extension of the lambda-calculus satisfying the Church-Rosser theoremGyörgy E. RévészTheoretical Computer Science