An Explicit Eta Rewrite Rule

Lecture Notes in Computer Science - Germany
doi 10.1007/bfb0014047
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Eta-Conversion for the Languages of Explicit Substitutions

Applicable Algebra in Engineering, Communications and Computing
Applied MathematicsNumber TheoryAlgebra
1995English

Eta-Conversion for the Languages of Explicit Substitutions

Applicable Algebra in Engineering, Communications and Computing
Applied MathematicsNumber TheoryAlgebra
1995English

An Explicit Theory of Heights

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1995English

Normalization Results for Typeable Rewrite Systems

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
1997English

Rewriting Strategies and Strategic Rewrite Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

The Rewrite Engines Competitions: A RECtrospective

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Proving Safety Properties of Rewrite Theories

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Transformations of Conditional Rewrite Systems Revisited

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Graph Rewrite Systems for Program Optimization

ACM Transactions on Programming Languages and Systems
Software
2000English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy