Switch to: References

Add citations

You must login to add citations.
  1. Completeness of the normal typed fragment of the λ-system U.Glen Helman - 1977 - Journal of Philosophical Logic 6 (1):33 - 46.
    Download  
     
    Export citation  
     
    Bookmark   2 citations