1. Foundational Theories of Classical and Constructive Mathematics;Awodey,2011
2. The impact of the lambda calculus in logic and computer science;Barendregt;Bulletin of Symbolic Logic,1997
3. Making Databases Work: The Pragmatic Wisdom of Michael Stonebraker;Brodie,2019
4. On Developing Data Science;Brodie,2019
5. What Is Data Science?;Brodie,2019