Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorzskoda
    • CommentTimeNov 19th 2013

    Stub for categorial grammar redirecting also Lambek calculus, basically to record few references so far. Related items: type theory, context-free grammar.

  1. Didn’t realize this already existed when I added similar content to linguistics. Just smoothed things out a bit between the two and linked them to each other. There is some duplication but that’s probably ok since these are still just stubs.

  2. String diagrams are only used nowadays to encode derivation trees.

    Anonymous

    diff, v11, current