Results 1 
3 of
3
The Lambda Calculus is Algebraic
 Journal of Functional Programming
, 1996
"... this paper, we point out that the failure of the rule, and the subsequent need for a nonequational class of models, is not due to the lambda calculus itself, but to the way free variables are usually interpreted in these models. An equation M = N between open terms is usually said to be satisfied ..."
Abstract

Cited by 6 (0 self)
 Add to MetaCart
this paper, we point out that the failure of the rule, and the subsequent need for a nonequational class of models, is not due to the lambda calculus itself, but to the way free variables are usually interpreted in these models. An equation M = N between open terms is usually said to be satisfied in a lambda algebra A if it holds for all substitutions of elements of A for the free variables. We call this the local interpretation, and define M = N to hold
Functionality, polymorphism, and concurrency: a mathematical investigation of programming paradigms
, 1997
"... ii COPYRIGHT ..."