A note on recursive functions

Mathematical Structures in Computer Science

Volumn 6, Issue 2, 1996, Pages 127-139

  Sabadini, Nicoletta ^a   Vigna, Sebastiano ^a   Walters, Robert F C ^b  

^a UNIVERSITY OF MILAN   (Italy)

^b UNIVERSITY OF SYDNEY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING;

COMPUTABLE FUNCTIONS; COMPUTATIONAL POWER; CONCURRENT PROGRAMMING LANGUAGES; EXTENSIVE CATEGORIES; NATURAL GENERALIZATION;

RECURSIVE FUNCTIONS;

EID: 0012055737     PISSN: 09601295     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0960129500000918     Document Type: Article

References (9)

1. Backus, J. (1978) Can programming be liberated from the von Neumann style? A functional style and its algebra of programs. Communications of the ACM 21 (8) 613.
2. Carboni, A., Lack, S. and Walters, R. F. C. (1993) Introduction to extensive and distributive categories. Journal of Pure and Applied Algebra 84 145-158.
3. Heller, A. (1990) An existence theorem for recursion categories. Journal of Symbolic Logic 55 (3) 1252-1268.
4. Katis, P., Sabadini, N. and Walters, R. F. C. (1994) The bicategory of circuits. School of Mathematics and Statistics Report 94-22, Sydney University.
5. Khalil, W. and Walters, R. F. C. (1993) An imperative language based on distributive categories II. Informatique Theorique et Applications 27 (6) 503-522.
6. Manin, Yu. I. (1977) A Course in Mathematical Logic, Springer-Verlag.
7. Sabadini, N., Walters, R. F. C. and Weld, H. (1993) Distributive automata and asynchronous circuits. CTCS '93, Amsterdam. Available by anonymous ftp at maths .su.oz.au in the directory sydcat/papers/walters.
8. Walters, R. F. C. (1991) Categories and Computer Science, Carslaw Publications (also Cambridge University Press (1992)).
9. Walters, R. F. C. (1992) An imperative language based on distributive categories. Mathematical Structures in Computer Science 2 249-256.