Append-only record of the theoretical foundations underpinning the MeTTaIL exploration: MeTTa operational semantics, native type theory (OSLF), Gph-enriched Lawvere theories, the RHO calculus, type lifting, and inference rules. These documents capture the theory as written for this investigation and are preserved verbatim.
Status: Historical — append-only scientific record; indexed, not edited.
Can you improve this documentation?Edit on GitHub
cljdoc builds & hosts documentation for Clojure/Script libraries
| Ctrl+k | Jump to recent docs |
| ← | Move to previous article |
| → | Move to next article |
| Ctrl+/ | Jump to the search field |