author = {B. Buchberger},
title = {{Functors in Theorema}},
language = {english},
year = {2008},
month = {March 30},
annote = {2008-03-30-A},
note = {Invited talk at ACCAT (Workshop Applied and Computational Category Theory) at ETAPS (European Joint Conferences on Theory and Practice of Software)},
institution = {Budapest, Hungary},
conferencename = {ACCAT (Workshop Applied and Computational Category Theory) at ETAPS (European Joint Conferences on Theory and Practice of Software)}