Switch to: Citations

Add references

You must login to add references.
  1. (2 other versions)A Transfinite Type Theory with Type Variables.R. O. Gandy - 1965 - Journal of Symbolic Logic 33 (1):112-113.
    Download  
     
    Export citation  
     
    Bookmark   4 citations