repr (cargo): The regular-expression-as-linear-logic interpretation and its implementation
Keywords: regular-expression|automata|coalgebras|effect-system|lambek-calculus|linear-logic|process-calculus|proof-search|quantale|regular-expressions|rust|two-level-type-theory