Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

gitlab.com topics: two-level-type-theory

synthetic/repr

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

Last synced at: 10 months ago - Stars: 0 - Forks: 0

Related Keywords
automata 1 coalgebra 1 effect-system 1 lambek-calculus 1 linear-logic 1 process-calculus 1 proof-search 1 quantale 1 regular-expressions 1 rust 1 two-level-type-theory 1