Topic: "quantale"
Cobord/Azimuth-Applied-Category-Theory
For Azimuth ACT course
Language: Haskell - Size: 25.9 MB - Last synced at: over 2 years ago - Pushed at: about 6 years ago - Stars: 4 - Forks: 0
synthetic/repr
The 'regular expressions as linear logic' interpretation and its implementation
Last synced at: 10 months ago - Stars: 0 - Forks: 0
Related Topics
applied-category-theory
1
azimuth
1
backprop
1
backpropogation
1
concurrency
1
hasse-diagram
1
lenses
1
optics
1
parameterized-systems
1
posets
1
prism
1
automata
1
coalgebra
1
effect-system
1
lambek-calculus
1
linear-logic
1
process-calculus
1
proof-search
1
regular-expressions
1
rust
1
two-level-type-theory
1