%
% GENERATED FROM https://www.coli.uni-saarland.de
%    by   : anonymous
%    IP   : coli2006.lst.uni-saarland.de
%    at   : Mon, 05 Feb 2024 15:43:31 +0100 GMT
%    
% Selection : Reference #708
%




@InProceedings{Kohlhase_Kuschert:1997,
      AUTHOR = {Kohlhase, Michael and Kuschert, Susanna},
      TITLE = {Dynamic Lambda Calculus},
      YEAR = {1997},
      BOOKTITLE = {5th Meeting on Mathematics of Language (MOL5), August 25-28},
      PAGES = {85-92},
      ADDRESS = {Schloss Dagstuhl, Germany},
      URL = {http://www.dfki.de/events/mol/papers/kuschert.ps},
      ANNOTE = {Kohlhase:1997:DLC}
}