2 search results - page 1 / 1 » A Higher-Order Demand-Driven Narrowing Calculus with Definit... |
ICTAC
2007
Springer
14 years 5 months ago
2007
Springer
ESOP
2008
Springer
14 years 23 days 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...