PaperSpecifying Queries as Relational Expressions: The SQUARE Data SublanguageRaymond F. Boyce, Donald D. Chamberlin, et al.CACM
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