Showing math.CTShow all
2 papers · 1 filter
math.CT2020
Aspects of categorical recursion theory
Pieter Hofstra, Philip Scott
We present a survey of some developments in the general area of category-theoretic approaches to the theory of computation, with a focus on topics and ideas particularly close to t…
math.CT2018
Finiteness spaces and generalized power series
Richard Blute, Robin Cockett, Pierre-Alain Jacqmin +1
We consider Ribenboim's construction of rings of generalized power series. Ribenboim's construction makes use of a special class of partially ordered monoids and a special class of…