LAMBEK CALCULUS: Related Papers in ACL Anthology
Back to Document Index
Back to Term Index
-
Concordance view (Keyword-In-Context) for the term lambek calculus in the ACL ARC 2.0;
- Concordance view in the ACL ARC 1.0 (Sketch Engine Service).
LAMBEK CALCULUS can be found in the following ACL ARC 1.0 documents (click to explore):
- (ACL ID: C00-2087) interaction grammars
- (ACL ID: C00-2091) generation, lambek calculus, montague's semantics and semantic proof nets
- (ACL ID: C90-2030) normal form theorem proving for the lambek calculus
- (ACL ID: C90-2041) the complexity of parsing with extended categorial grammars
- (ACL ID: C92-1024) chart parsing lambek grammars
- (ACL ID: C92-1061) proof-nets and dependencies
- (ACL ID: C94-1083) categorial grammar and discourse representation theory
- (ACL ID: C94-2201) discontinuity and the lambek calculus
- (ACL ID: C96-1044) extended dependency structures and their formal interpretation
- (ACL ID: C96-1091) a compilation-chart method for linear categorial deduction
- (ACL ID: E89-1032) an algorithm for generation in unification categorial grammar
- (ACL ID: E91-1014) what sort of trees do we speak? a computational model of the syntax-prosody interface in tokyo japanese
- (ACL ID: E91-1035) proof figures and structural operators for categorial grammar
- (ACL ID: E93-1016) parsing with polymorphism
- (ACL ID: E93-1032) towards efficient parsing with proof-nets
- (ACL ID: E93-1034) tuples, discontinuity, and gapping in categorial grammar
- (ACL ID: E93-1044) categorial grammar, modalities and algebraic semantics
- (ACL ID: E95-1017) incremental interpretation of categorial grammar
- (ACL ID: E95-1018) mixing modes of linguistic description 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: J90-1001) categorial semantics and scoping
- (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: P01-1033) towards abstract categorial grammars
- (ACL ID: P01-1047) extending lambek grammars
- (ACL ID: P03-1045) k-valued non-associative lambek categorial grammars are not learnable from strings
- (ACL ID: P89-1019) a calculus for semantic composition and scoping
- (ACL ID: P89-1033) parsing as natural deduction
- (ACL ID: P90-1028) algorithms for generation in lambek theorem proving
- (ACL ID: P91-1010) type-raising and directionality in combinatory grammar
- (ACL ID: P91-1011) efficient incremental processing with categorial grammar
- (ACL ID: P96-1011) efficient normal-form parsing for combinatory categorial grammar
- (ACL ID: P96-1013) parsing with semidirectional lambek grammar is np-complete
- (ACL ID: P97-1044) maximal incrementality in linear categorial deduction
- (ACL ID: P98-1057) group theory and linguistic processing
- (ACL ID: P98-1088) memoisation for glue language deduction and categorial parsing
- (ACL ID: P99-1060) an earley-style predictive chart parsing method for lambek grammars
- (ACL ID: W00-0739) learning from a substructural perspective
- (ACL ID: W05-1503) switch graphs for parsing type logical grammars
* See also a list of some of the related terms to lambek calculus.
Back to Description Index
