Michael Kohlhase and
Susanna Kuschert. Dynamic Lambda Calculus. In 5th Meeting on Mathematics of Language (MOL5), August 25-28, Pages 85-92, Schloss Dagstuhl, Germany, 1997. [Annote]
@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} }
|