Switch to: References

Add citations

You must login to add citations.
  1. A strong multi-typed intuitionistic theory of functionals.Farida Kachapova - 2015 - Journal of Symbolic Logic 80 (3):1035-1065.
    Download  
     
    Export citation  
     
    Bookmark