41 search results - page 9 / 9 » Self-Replicating Expressions in the Lambda Calculus |
ESOP
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...