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

Jørgen Villadsen

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

Jørgen Villadsen

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning

Originalsprog	Engelsk
Titel	Constraint Solving and Language Processing : CSLP 2004. Workshop proceedings
Redaktører	Henning Christiansen, Peter Rossen Skadhauge, Jørgen Villadsen
Forlag	Roskilde Universitet
Publikationsdato	2004
Sider	160-165
Status	Udgivet - 2004
Begivenhed	Computing Research Repository - Roskilde, Danmark Varighed: 1 sep. 2004 → 3 sep. 2004

Workshop

Workshop	Computing Research Repository
Land/Område	Danmark
By	Roskilde
Periode	01/09/2004 → 03/09/2004

Bibliografisk note

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

Adgang til dokumentet

http://arxiv.org/abs/cs.CL/0408037

Citationsformater

@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; Computing Research Repository ; Conference date: 01-09-2004 Through 03-09-2004",

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

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/rapport › Konferencebidrag i proceedings › Forskning

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

T2 - Computing Research Repository

Y2 - 1 September 2004 through 3 September 2004

ER -