Switch to: References

Citations of:

Algebraic recursion theory

New York: Halsted Press (1986)

Add citations

You must login to add citations.
  1. Diagonal fixed points in algebraic recursion theory.Jordan Zashev - 2005 - Archive for Mathematical Logic 44 (8):973-994.
    The relation between least and diagonal fixed points is a well known and completely studied question for a large class of partially ordered models of the lambda calculus and combinatory logic. Here we consider this question in the context of algebraic recursion theory, whose close connection with combinatory logic recently become apparent. We find a comparatively simple and rather weak general condition which suffices to prove the equality of least fixed points with canonical (corresponding to those produced by the Curry (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • Spaces with combinators.N. Georgieva - 1993 - Archive for Mathematical Logic 32 (5):321-339.
  • Effectivizing Inseparability.John Case - 1991 - Mathematical Logic Quarterly 37 (7):97-111.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Effectivizing Inseparability.John Case - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (7):97-111.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation