# A Combinatory Logic

##### Citations

448 citations

### Additional excerpts

...If ~s : Γ, ∆ ⊢LP F , then there is a proof polynomial t(~x, ~y) such that ~s :Γ, ~y :∆ ⊢LP t(~s, ~y) :F....

[...]

437 citations

### Cites background from "A Combinatory Logic"

...Rather than invoking rules of deletion or movement, CCG allows certain further operations on functions related to what Curry called ‘‘combinators’’ (Curry and Feys 1958), including the following rule of functional composition, indexed B in derivations (because Curry called his composition…...

[...]

433 citations

### Cites methods from "A Combinatory Logic"

...The parser is able to parse 20 Wall Street Journal (WSJ) sentences per second on standard hardware, using our best-performing model, which compares very favorably with other parsers using linguistically motivated grammars....

[...]

...The first is forward composition, which Steedman denotes by > B (because B is the symbol used by Curry to denote function composition in combinatory logic; Curry and Feys 1958): X/Y Y/Z ⇒B X/Z (> B) (5) Forward composition is often used in conjunction with type-raising (T), as in Figure 2....

[...]

401 citations

386 citations

##### References

448 citations

437 citations

433 citations

401 citations

386 citations