All Stories

  1. Tangibles and Computing Education: A View from the History of Computing

    Article • Digital Threats Research and Practice, September 2025, ACM (Association for Computing Machinery)

    John Tucker

  2. A Complete Finite Axiomatisation of the Equational Theory of Common Meadows

    Article • ACM Transactions on Computational Logic, August 2024, ACM (Association for Computing Machinery)

    John Tucker

  3. Teaching History of Computing

    Article • September 2023, ACM (Association for Computing Machinery)

    John Tucker

  4. Local Histories of Computing

    Article • September 2023, ACM (Association for Computing Machinery)

    John Tucker

  5. Eager Equality for Rational Number Arithmetic

    Article • ACM Transactions on Computational Logic, January 2023, ACM (Association for Computing Machinery)

    John Tucker

  6. THREE FORMS OF PHYSICAL MEASUREMENT AND THEIR COMPUTABILITY

    Article • The Review of Symbolic Logic, September 2014, Cambridge University Press

    Professor José Félix Costa, John Tucker

  7. Axiomatizing physical experiments as oracles to algorithms

    Article • Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences, June 2012, Royal Society Publishing

    John Tucker