Thiago Mendonça Ferreira Ramos, Ariane Alves Almeida, Mauricio Ayala-Rincón. Formalization of the Computational Theory of a Turing Complete Functional Language Model. Journal of Automated Reasoning, 66(4):1031-1063, 2022. [doi]
No references recorded for this publication.
No citations of this publication recorded.