2 search results - page 1 / 1 » A Higher-Order Demand-Driven Narrowing Calculus with Definit... |
104
Voted
ICTAC
2007
Springer
15 years 9 months ago
2007
Springer
136
Voted
ESOP
2008
Springer
15 years 4 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...