Hofstra, Pieter; Scott, Philip Aspects of categorical recursion theory. (English) Zbl 1486.81060 Casadio, Claudia (ed.) et al., Joachim Lambek: the interplay of mathematics, logic, and linguistics. Cham: Springer. Outst. Contrib. Log. 20, 219-269 (2021). Reviewer: Carlos Pedro Gonçalves (Lisboa) MSC: 81P68 68Q04 18-08 03D60 01A05 01-01 81-01 94-01 PDFBibTeX XMLCite \textit{P. Hofstra} and \textit{P. Scott}, Outst. Contrib. Log. 20, 219--269 (2021; Zbl 1486.81060) Full Text: DOI arXiv
Paolini, Luca; Piccolo, Mauro; Roversi, Luca A class of recursive permutations which is primitive recursive complete. (English) Zbl 1481.03031 Theor. Comput. Sci. 813, 218-233 (2020). MSC: 03D20 68Q09 PDFBibTeX XMLCite \textit{L. Paolini} et al., Theor. Comput. Sci. 813, 218--233 (2020; Zbl 1481.03031) Full Text: DOI Link
Yanofsky, Noson S. Galois theory of algorithms. (English) Zbl 1439.68008 Başkent, Can (ed.) et al., Rohit Parikh on logic, language and society. Cham: Springer. Outst. Contrib. Log. 11, 323-347 (2017). MSC: 68N30 03D20 18M05 68W01 PDFBibTeX XMLCite \textit{N. S. Yanofsky}, Outst. Contrib. Log. 11, 323--347 (2017; Zbl 1439.68008) Full Text: DOI arXiv
Fiore, Marcelo; Saville, Philip List objects with algebraic structure. (English) Zbl 1441.68016 Miller, Dale (ed.), 2nd international conference on formal structures for computation and deduction. FSCD 2017, Oxford, UK, September 3–9, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 84, Article 16, 18 p. (2017). MSC: 68N18 68N30 68Q55 PDFBibTeX XMLCite \textit{M. Fiore} and \textit{P. Saville}, LIPIcs -- Leibniz Int. Proc. Inform. 84, Article 16, 18 p. (2017; Zbl 1441.68016) Full Text: DOI
de Paiva, Valeria; Morgan, Charles; da Silva, Samuel G. Natural number objects in Dialectica categories. (English) Zbl 1335.03026 Fernández, Maribel (ed.) et al., Proceedings of the 8th workshop on logical and semantic frameworks (LSFA 2013), São Paulo, Brazil, September 2–3, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 305, 53-65, electronic only (2014). MSC: 03B47 03F52 03G30 PDFBibTeX XMLCite \textit{V. de Paiva} et al., Electron. Notes Theor. Comput. Sci. 305, 53--65 (2014; Zbl 1335.03026) Full Text: DOI
Cockett, Robin; Santocanale, Luigi Induction, coinduction, and adjoints. (English) Zbl 1270.68190 Blute, Rick (ed.) et al., CTCS’02. Proceedings of the 9th conference on category theory and computer science, Ottawa, ON, Canada, August 15–17, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 69, 101-119 (2003). MSC: 68Q65 18A40 18C10 PDFBibTeX XMLCite \textit{R. Cockett} and \textit{L. Santocanale}, Electron. Notes Theor. Comput. Sci. 69, 101--119 (2003; Zbl 1270.68190) Full Text: DOI
Burroni, Albert Higher-dimensional word problems with applications to equational logic. (English) Zbl 0791.08004 Theor. Comput. Sci. 115, No. 1, 43-62 (1993). Reviewer: M.Armbrust (Köln) MSC: 08A50 08B05 18D05 68Q42 20M05 PDFBibTeX XMLCite \textit{A. Burroni}, Theor. Comput. Sci. 115, No. 1, 43--62 (1993; Zbl 0791.08004) Full Text: DOI
Cockett, J. R. B. List-arithmetic distributive categories: Locoi. (English) Zbl 0715.18005 J. Pure Appl. Algebra 66, No. 1, 1-29 (1990). Reviewer: M.Eytan MSC: 18D99 03D75 03G30 18B99 68Q99 PDFBibTeX XMLCite \textit{J. R. B. Cockett}, J. Pure Appl. Algebra 66, No. 1, 1--29 (1990; Zbl 0715.18005) Full Text: DOI
Lafont, Yves Primitive recursive categories and machines. (English) Zbl 0702.18003 Diagrammes 22, 7-13 (1989). Reviewer: C.Calude MSC: 18B99 03D20 68Q05 18A15 03D75 68N01 PDFBibTeX XMLCite \textit{Y. Lafont}, Diagrammes 22, 7--13 (1989; Zbl 0702.18003) Full Text: EuDML