Proof construction and non-commutativity: a cluster calculus

• Authors:

• Claudia Faggian

• Affiliations:

• Institut de Mathématiques de Luminy - CNRS, 163 avenue de Luminy, Case 907, 13288 Marseille Cedex 9, France

• Venue:
• Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
• Year:
• 2000