EPTCS 15 - WRS 2009
Maribel Fernández (Ed.): Proceedings Ninth International Workshop on Reduction Strategies in Rewriting and Programming. 2009 EPTCS 15 [ contents ]- Tony Bourdier, Horatiu Cirstea, Daniel J. Dougherty, Hélène Kirchner: Extensional and Intensional Strategies. ... 1-19
- Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine: Principal Typings in a Restricted Intersection Type System for Beta Normal Forms with De Bruijn Indices. ... 69-82
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team