Results 111 to 112 of about 13,083 (112)
Some of the next articles are maybe not open access.

A self-applicable partial evaluator for the lambda calculus

ACM Transactions on Programming Languages and Systems, 1992
exaly  

Lambda-calculus schemata

Higher-Order and Symbolic Computation, 1993
exaly  
computer science - logic in computer science
mathematics
previous   10  11  12  

Home - About - Disclaimer - Privacy