repr
Public

The 'regular expresions as linear logic' interpretation and its implementation