Typability in Partial Applicative Structures

Adapting a claim of Kracht (Theor Comput Sci 354:131–141, 2006), we establish a characterization of the typable partial applicative structures. Keywords Partial applicative structures · Typability

• Type: Journal
• Year: 2011
• Where: JOLLI
• Authors: Inge Bethke, Piet Rodenburg
• Keywords: Characterization, JOLLI 2011, Partial Applicative Structures, Theor Comput Sci