%
% GENERATED FROM https://www.coli.uni-saarland.de
%    by   : anonymous
%    IP   : coli2006.lst.uni-saarland.de
%    at   : Mon, 05 Feb 2024 15:43:35 +0100 GMT
%    
% Selection : Reference #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}
}