author = {W. Windsteiger},}
title = {{The Theorema Language: Implementing Object- and Meta-Level Usage of Symbols}},
language = {english},
year = {1998},
month = {July 13},
note = {Contributed talk at Calculemus'98, Eindhoven, Netherlands},
conferencename = {Calculemus'98, Eindhoven, Netherlands}