Skip to content

Closed symmetric monoidal structure and flow

Philippe Gaucher

math.ATarXiv:math/0308064

Abstract

The category of flows is not cartesian closed. We construct a closed symmetric monoidal structure which has moreover a satisfactory behavior from the computer scientific viewpoint.

Create a lesson