This lang doesn't depend on collections lang and extracts common dependencies of closures and collections langs: sequence term and its basic typing rules. |
||
|---|---|---|
| .. | ||
| fitch | ||
| lambdacalc | ||
| mpscore | ||
This lang doesn't depend on collections lang and extracts common dependencies of closures and collections langs: sequence term and its basic typing rules. |
||
|---|---|---|
| .. | ||
| fitch | ||
| lambdacalc | ||
| mpscore | ||