Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

crates.io "lambek-calculus" keyword

View the packages on the crates.io package registry that are tagged with the "lambek-calculus" keyword.

repr 0.7.0
The regular-expression-as-linear-logic interpretation and its implementation
20 versions - Latest release: 12 months ago - 18.9 thousand downloads total - 0 stars on gitlab.com - 1 maintainer
Related Keywords
regular-expression 1 automata 1 coalgebra 1 effect-system 1 linear-logic 1 process-calculus 1 proof-search 1 quantale 1 regular-expressions 1 rust 1 two-level-type-theory 1