Switch to: References

Add citations

You must login to add citations.
  1. Primitive iteration and unary functions.G. Germano & S. Mazzanti - 1988 - Annals of Pure and Applied Logic 40 (3):217-256.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • General iteration and unary functions.G. M. Germano & S. Mazzanti - 1991 - Annals of Pure and Applied Logic 54 (2):137-178.
    Programming practice suggests a notion of general iteration corresponding to the while-do construct. This leads to new characterizations of general computable unary functions usable in computer science.
    Download  
     
    Export citation  
     
    Bookmark   1 citation