Search


Volume

Author

Year

  • < Previous
  • 1
  • Next >
1 result

Cartesian closed 2-categories and permutation equivalence in higher-order rewriting

Tom Hirschowitz.
We propose a semantics for permutation equivalence in higher-order rewriting. This semantics takes place in cartesian closed 2-categories, and is proved sound and complete.
Published on September 4, 2013
Volume 9, Issue 3
  • < Previous
  • 1
  • Next >