%0 Conference Paper %1 BerghoferNipkow02ExecutingHOL %A Berghofer, Stefan %A Nipkow, Tobias %A München, Technische Universität %B In Proc. TYPES Working Group Annual Meeting 2000, LNCS %D 2002 %I Springer-Verlag %K execution isabelle testing %P 24--40 %T Executing higher order logic

@inproceedings{BerghoferNipkow02ExecutingHOL, added-at = {2010-05-13T14:32:57.000+0200}, author = {Berghofer, Stefan and Nipkow, Tobias and München, Technische Universität}, biburl = {https://www.bibsonomy.org/bibtex/296381a2deffcbe4475c8143f1955b49a/giuliano.losa}, booktitle = {In Proc. TYPES Working Group Annual Meeting 2000, LNCS}, interhash = {7d36a32efc86aa6c317380fcd950cfad}, intrahash = {96381a2deffcbe4475c8143f1955b49a}, keywords = {execution isabelle testing}, pages = {24--40}, publisher = {Springer-Verlag}, timestamp = {2010-05-13T14:32:57.000+0200}, title = {Executing higher order logic}, year = 2002 }