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

lmcs:1132 - Logical Methods in Computer Science, September 4, 2013, Volume 9, Issue 3
Cartesian closed 2-categories and permutation equivalence in higher-order rewriting

Authors: Hirschowitz, Tom

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.


Source : oai:arXiv.org:1307.6318
DOI : 10.2168/LMCS-9(3:10)2013
Volume: Volume 9, Issue 3
Published on: September 4, 2013
Submitted on: October 5, 2010
Keywords: Computer Science - Logic in Computer Science,Computer Science - Programming Languages,Mathematics - Category Theory


Share

Consultation statistics

This page has been seen 74 times.
This article's PDF has been downloaded 87 times.