IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
Reference no #710   Download bibtex file Type :   Html | Bib | Both
    Created: 2007-12-12 11:30:33
710 Add to my selection
Michael Kohlhase, Susanna Kuschert and Manfred Pinkal. A Type-Theoretic Semantics for Lambda-DRT. In Paul Dekker and Martin Stokhof editors, 10th Amsterdam Colloquium, Pages 479-498, De Gruyter, Amsterdam, The Netherlands, 1996.   Bibtex entry  google
Last modified: Thu October 16 2014 19:11:34         BibAdmin