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. http://arxiv.org/abs/cs.CL/0408037