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 APA Style APA-ALL Style AAA 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. Lecture Notes in Computer Science, 276–304.

Publication