Multi-dimensional Type Theory: Rules, Categories, and Combinators for Syntax and Semantics

Jørgen Villadsen

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskning

    OriginalsprogEngelsk
    TitelConstraint Solving and Language Processing : CSLP 2004. Workshop proceedings
    RedaktørerHenning Christiansen, Peter Rossen Skadhauge, Jørgen Villadsen
    ForlagRoskilde Universitet
    Publikationsdato2004
    Sider160-165
    StatusUdgivet - 2004
    BegivenhedComputing Research Repository - Roskilde, Danmark
    Varighed: 1 sep. 20043 sep. 2004

    Workshop

    WorkshopComputing Research Repository
    LandDanmark
    ByRoskilde
    Periode01/09/200403/09/2004

    Bibliografisk note

    Seriensstitel: Datalogiske Skrifter
    Seriens nummer: 99
    ISSN: 0109-9779

    Citer dette

    Villadsen, J. (2004). Multi-dimensional Type Theory: Rules, Categories, and Combinators for Syntax and Semantics. I H. Christiansen, P. R. Skadhauge, & J. Villadsen (red.), Constraint Solving and Language Processing: CSLP 2004. Workshop proceedings (s. 160-165). Roskilde Universitet.
    Villadsen, Jørgen. / Multi-dimensional Type Theory: Rules, Categories, and Combinators for Syntax and Semantics. Constraint Solving and Language Processing: CSLP 2004. Workshop proceedings. red. / Henning Christiansen ; Peter Rossen Skadhauge ; Jørgen Villadsen. Roskilde Universitet, 2004. s. 160-165
    @inproceedings{978367a06b6211dbb485000ea68e967b,
    title = "Multi-dimensional Type Theory: Rules, Categories, and Combinators for Syntax and Semantics",
    author = "J{\o}rgen Villadsen",
    note = "Seriensstitel: Datalogiske Skrifter Seriens nummer: 99 ISSN: 0109-9779",
    year = "2004",
    language = "English",
    pages = "160--165",
    editor = "Henning Christiansen and Skadhauge, {Peter Rossen} and J{\o}rgen Villadsen",
    booktitle = "Constraint Solving and Language Processing",
    publisher = "Roskilde Universitet",

    }

    Villadsen, J 2004, Multi-dimensional Type Theory: Rules, Categories, and Combinators for Syntax and Semantics. i H Christiansen, PR Skadhauge & J Villadsen (red), Constraint Solving and Language Processing: CSLP 2004. Workshop proceedings. Roskilde Universitet, s. 160-165, Computing Research Repository, Roskilde, Danmark, 01/09/2004.

    Multi-dimensional Type Theory: Rules, Categories, and Combinators for Syntax and Semantics. / Villadsen, Jørgen.

    Constraint Solving and Language Processing: CSLP 2004. Workshop proceedings. red. / Henning Christiansen; Peter Rossen Skadhauge; Jørgen Villadsen. Roskilde Universitet, 2004. s. 160-165.

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskning

    TY - GEN

    T1 - Multi-dimensional Type Theory: Rules, Categories, and Combinators for Syntax and Semantics

    AU - Villadsen, Jørgen

    N1 - Seriensstitel: Datalogiske Skrifter Seriens nummer: 99 ISSN: 0109-9779

    PY - 2004

    Y1 - 2004

    M3 - Article in proceedings

    SP - 160

    EP - 165

    BT - Constraint Solving and Language Processing

    A2 - Christiansen, Henning

    A2 - Skadhauge, Peter Rossen

    A2 - Villadsen, Jørgen

    PB - Roskilde Universitet

    ER -

    Villadsen J. Multi-dimensional Type Theory: Rules, Categories, and Combinators for Syntax and Semantics. I Christiansen H, Skadhauge PR, Villadsen J, red., Constraint Solving and Language Processing: CSLP 2004. Workshop proceedings. Roskilde Universitet. 2004. s. 160-165