Extensional and Intensional Strategies

12 years 7 months ago
Extensional and Intensional Strategies
on of abstract strategies which is extensional in the sense that a strategy is defined explicitly of derivations of an abstract reduction system. We then move to a more intensional definition supporting the abstract view but more operational in the sense that it describes a means for determining such a set. We characterize the class of extensional strategies that can be defined intensionally. We also give some hints towards a logical characterization of intensional strategies and propose a few challenging perspectives.
Tony Bourdier, Horatiu Cirstea, Daniel J. Doughert
Added 17 Feb 2011
Updated 17 Feb 2011
Type Journal
Year 2009
Where CORR
Authors Tony Bourdier, Horatiu Cirstea, Daniel J. Dougherty, Hélène Kirchner
Comments (0)