Switch to: References

Add citations

You must login to add citations.
  1. Tiering as a Recursion Technique.Harold Simmons - 2005 - Bulletin of Symbolic Logic 11 (3):321-350.
    I survey the syntactic technique of tiering which can be used to restrict the power of a recursion scheme. I show how various results can be obtained entirely proof theoretically without the use of a model of computation.
    Direct download (12 more)  
    Export citation