2 search results - page 1 / 1 » A Higher-Order Demand-Driven Narrowing Calculus with Definit... |
72
Voted
ICTAC
2007
Springer
15 years 3 months ago
2007
Springer
92
Voted
ESOP
2008
Springer
14 years 11 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...