Typability in Partial Applicative Structures

14 years 9 months ago

Download www.springerlink.com

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

Inge Bethke, Piet Rodenburg

Real-time Traffic

Characterization | JOLLI 2011 | Partial Applicative Structures | Theor Comput Sci |

claim paper

» A Compiler Generator Produced by a SelfApplicable Specializer Can Have a Surprisingly Natu...

» Partially Supervised Coreference Resolution for Opinion Summarization through Structured R...

» MDL based Structural Interpretation of Images under Partial Occlusion

» Type Inference Builds a Short Cut to Deforestation

» Learning Hierarchical Relationships among Partially Ordered Objects with Heterogeneous Att...

» An enhanced partial order curve comparison algorithm and its application to analyzing prot...

» Formal Verification of Partial Good SelfTest Fencing Structures

» Using SPARQL to Test for Lattices Application to Quality Assurance in Biomedical Ontologie...

Post Info
More Details (n/a)

Added	14 May 2011
Updated	14 May 2011
Type	Journal
Year	2011
Where	JOLLI
Authors	Inge Bethke, Piet Rodenburg

Comments (0)

Sciweavers

Typability in Partial Applicative Structures

Characterization | JOLLI 2011 | Partial Applicative Structures | Theor Comput Sci |

Explore & Download

Productivity Tools

Sciweavers