[TYPES] Permutation of beta-redexes in lambda-calculus

[Hassan Aït-Kaci]

Hello,

Regarding the enclosed message, the following two references may also
be relevant:

1.   Hassan Ait-Kaci and Jacques Garrigue
      Label-selective lambda-calculus: Syntax and confluence
      Theoretical Computer Science, 151:353--383, 1995
      URL: http://citeseer.ist.psu.edu/174691.html

2.   Jacques Garrigue and Hassan Ait-Kaci
      The typed polymorphic label-lelective lambda calculus
      in Proc. 21st ACM Symp. on Principles of Programming Languages
      pp.35--47, ACM Press, 1994
      URL: http://citeseer.ist.psu.edu/garrigue94typed.html

Regards,

-hak
-- 
Hassan Aït-Kaci  *  ILOG, Inc. - Product Division R&D
http://koala.ilog.fr/wiki/bin/view/Main/HassanAitKaci