Quartz 5
Search
Search
Dark mode
Light mode
Explorer
interaction-nets
2 items with this tag.
Jun 28, 2026
最適簡約と相互作用ネット
optimal-reduction
interaction-nets
beta-optimal
graph-reduction
sharing
Jun 28, 2026
HVM（Higher-order Virtual Machine）
hvm
runtime
interaction-nets
optimal-reduction
parallel
rust
functional