PaperA list-oriented extension of the lambda-calculus satisfying the Church-Rosser theoremGyörgy E. RévészTheoretical Computer Science
PaperLearning and generalization with the information bottleneckOhad Shamir, Sivan Sabato, et al.Theoretical Computer Science