Results 281 to 283 of about 14,639 (283)
Some of the next articles are maybe not open access.

Lambda-calculus schemata

Higher-Order and Symbolic Computation, 1993
exaly  

Lambda calculus

2003
openaire   +1 more source

A self-applicable partial evaluator for the lambda calculus

ACM Transactions on Programming Languages and Systems, 1992
exaly  
computer science - logic in computer science
mathematics
f.4.1
combinatory logic and lambda calculus
computer science - programming languages
mathematics - logic
f.3.2
functional programming and lambda calculus
theoretical computer science
previous   27  28  29  

Home - About - Disclaimer - Privacy