Valenti, M., GOH, J., Pauly, A., & VALENTI, M. (2021). FINDING DESCENDING SEQUENCES THROUGH ILL-FOUNDED LINEAR ORDERS. The Journal of Symbolic Logic, 86(2), 817-854.
Pauly, A., Valenti, M., Lempp, S., Miller, J., & Soskova, M. (n.d.) Minimal covers in the Weihrauch degrees. Proceedings of the American Mathematical Society
Valenti, M., GOH, J., Pauly, A., & VALENTI, M. (2021). FINDING DESCENDING SEQUENCES THROUGH ILL-FOUNDED LINEAR ORDERS. The Journal of Symbolic Logic, 86(2), 817-854.
Pauly, A., Valenti, M., Lempp, S., Miller, J., & Soskova, M. (n.d.) Minimal covers in the Weihrauch degrees. Proceedings of the American Mathematical Society
This module introduces the notion of grammars for defining the syntax of
formal languages, especially programming languages. It introduces
the limits of computation using Turing Machines and other models of
computation.