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

Hassan Aït-Kaci hak at ilog.com
Thu Nov 29 12:18:51 EST 2007


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


Hassan Aït-Kaci  *  ILOG, Inc. - Product Division R&D

More information about the Types-list mailing list