The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

Displaying similar documents to “The category of recursive functions”

Recursive coalgebras of finitary functors

Jiří Adámek, Dominik Lücke, Stefan Milius (2007)

RAIRO - Theoretical Informatics and Applications

Similarity:

For finitary set functors preserving inverse images, recursive coalgebras of Paul Taylor are proved to be precisely those for which the system described by always halts in finitely many steps.