Login / Signup
A computational interpretation of compact closed categories: reversible programming with negative and fractional types.
Chao-Hong Chen
Amr Sabry
Published in:
Proc. ACM Program. Lang. (2021)
Keyphrases
</>
programming language
cellular automata
programming environment
semantic interpretation
high level
positive and negative
mathematical programming
broad categories
databases
object categories
image interpretation
queueing networks