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