Results 231 to 240 of about 750 (245)
Some of the next articles are maybe not open access.
The Lazy Lambda Calculus: an investigation into the foundations of functional programming
1992openaire +1 more source
A Finite Equational Axiomatization of the Functional Algebras for the Lambda Calculus
Information and Computation, 1999Antonino Salibra, Robert Goldblatt
exaly
Lambda calculus as a workflow model
Concurrency Computation Practice and Experience, 2009Andrew L Wendelborn
exaly
A lambda-calculus model of programming languages—I. Simple constructs
Computer Languages, Systems and Structures, 1975exaly
Enlargements of functional algebras for the lambda calculus
Theoretical Computer Science, 1998Robert Goldblatt
exaly
Decomposing typed lambda calculus into a couple of categorical programming languages
Lecture Notes in Computer Science, 2005Masahito Hasegawa, Hasegawa Masahito
exaly
A lambda-calculus model of programming languages—II. Jumps and procedures
Computer Languages, Systems and Structures, 1975exaly