Switch to: References

Add citations

You must login to add citations.
  1. Typability in Partial Applicative Structures.Inge Bethke & Piet Rodenburg - 2011 - Journal of Logic, Language and Information 20 (2):161-168.
    Adapting a claim of Kracht (Theor Comput Sci 354:131–141, 2006), we establish a characterization of the typable partial applicative structures.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark