A note on recursive functions

DOI10.1017/S0960129500000918zbMath0844.03025OpenAlexW2164382356MaRDI QIDQ4882495

Sebastiano Vigna, Robert F. C. Walters, Nicoletta Sabadini

Publication date: 16 June 1996

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129500000918

zbMATH Keywords

computable functionsrecursive functionsconcurrent programming languagecountably extensive categorydistributive graph

Mathematics Subject Classification ID

Related Items (3)

Feedback, trace and fixed-point semantics ⋮ On the relations between distributive computability and the BSS model ⋮ An Algebra of Automata That Includes Both Classical and Quantum Entities

Cites Work

• Introduction to extensive and distributive categories
• An existence theorem for recursion categories
• Can programming be liberated from the von Neumann style?

This page was built for publication: A note on recursive functions