Comparing combinatory reduction systems and higher-order rewrite systems

1994

Presented at the International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, Amsterdam

Additional Metadata
MSC	Grammars and rewriting systems (msc 68Q42)
Publisher	Springer
Conference	International Workshop on Higher-Order Algebra, Logic, and Term Rewriting
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	van Oostrom, V., & van Raamsdonk, F. (1994). Comparing combinatory reduction systems and higher-order rewrite systems. In Lecture Notes in Computer Science (pp. 276–304). Springer.

Publication