SEQUENT CALCULUS: Related Papers in ACL Anthology

SEQUENT CALCULUS can be found in the following ACL ARC 1.0 documents (click to explore):

• (ACL ID: A92-1001) deriving database queries from logical forms by abductive definition expansion
• (ACL ID: C00-2087) interaction grammars
• (ACL ID: C00-2091) generation, lambek calculus, montague's semantics and semantic proof nets
• (ACL ID: C88-2143) massive disambiguation of large text corpora with flexible categorial grammar
• (ACL ID: C92-1024) chart parsing lambek grammars
• (ACL ID: C92-1061) proof-nets and dependencies
• (ACL ID: C94-2181) consequence relations in drt
• (ACL ID: C94-2201) discontinuity and the lambek calculus
• (ACL ID: E89-1028) computational semantics of mass terms
• (ACL ID: E93-1034) tuples, discontinuity, and gapping in categorial grammar
• (ACL ID: E95-1019) higher-order linear logic programming of categorial deduction
• (ACL ID: E99-1009) geometry of lexico-syntactic interaction
• (ACL ID: J00-3002) incremental processing and acceptability
• (ACL ID: J92-2005) incremental processing and the hierarchical lexicon
• (ACL ID: J99-2003) tree adjoining grammars in a fragment of the lambek calculus
• (ACL ID: P94-1023) on determining the consistency of partial descriptions of trees
• (ACL ID: P96-1013) parsing with semidirectional lambek grammar is np-complete
• (ACL ID: W00-0739) learning from a substructural perspective
• (ACL ID: W02-2012) grasp