Girard's $!()$ as a reversible fixed-point operator
Category Theory
2013-09-03 v1 Logic in Computer Science
Logic
Abstract
We give a categorical description of the treatment of the !() exponential in the Geometry of Interaction system, with particular emphasis on the fact that the GoI interpretation 'forgets types'. We demonstrate that it may be thought of as a fixed-point operation for reversible logic & computation.
Keywords
Cite
@article{arxiv.1309.0361,
title = {Girard's $!()$ as a reversible fixed-point operator},
author = {Peter Hines},
journal= {arXiv preprint arXiv:1309.0361},
year = {2013}
}
Comments
15 pages, 6 Figures