Index
Browse
Bibliographies
My selection
S
earch:
in
All
Authors
Titles
Conferences
Journals
Keywords
Comments
(word length ≥ 3)
Login
Reference no #710
Type :
Html
| Bib |
Both
Created:
2007-12-12 11:30:33
710
@InProceedings{Kohlhase_et_al:1996,
AUTHOR = {Kohlhase, Michael and Kuschert, Susanna and Pinkal, Manfred},
TITLE = {A Type-Theoretic Semantics for Lambda-DRT},
YEAR = {1996},
BOOKTITLE = {10th Amsterdam Colloquium},
PAGES = {479-498},
EDITOR = {Dekker, Paul and Stokhof, Martin},
ADDRESS = {Amsterdam, The Netherlands},
PUBLISHER = {De Gruyter}
}
Last modified: Thu October 16 2014 19:11:34
