Using computable algebra in theoretical computer science Presentation uri icon