Results 241 to 250 of about 12,131,620 (254)
Some of the next articles are maybe not open access.
Reduction languages and reduction systems
1987This paper gives an overview over reduction languages and a machine and system concept which directly supports the execution of reduction language programs. Following a brief introduction into the idea of functional programming, we address in some detail three reduction language approaches (λ-expression, combinators and combining forms) and a concept ...
Claudia Schmittgen, Werner E. Kluge
openaire +2 more sources
Identity-Based Reduction and Reductive Explanation [PDF]
openaire +2 more sources