Archive / 2014-07: MetaCalculi 2012-05: beta5.1 MetaCalculi.pdf UnitaryGammaNotes.pdf
| Notebook (.pdf) | Source (.nb) | Created | Last Modified | Summary | |
|---|---|---|---|---|---|
| 1 | 200614-Extracts | source | Sun 17 Mar 2024 10:28:57 | Sun 14 Jun 2020 12:10:23 | α and Γ extracts from MetaCalculi.nb at pensieve://Projects/MetaCalculi/. |
| 2 | AlphaTrace | source | Sun 17 Mar 2024 10:28:57 | Mon 18 May 2015 09:47:44 | The trace in α-calculus. |
| 3 | KVinGamma | source | Sun 17 Mar 2024 10:28:57 | Sun 10 Mar 2019 18:40:43 | Verifying the full set of KV equations in Γ-calculus. |
| 4 | MetaCalculi | source | Sun 17 Mar 2024 10:28:57 | Fri 12 Jun 2020 15:36:30 | A common program for all w-meta-calculi. Continues pensieve://2014-07/MetaCalculi/. |
| 5 | MetaCalculi-Testing | source | Sun 17 Mar 2024 10:28:57 | Sun 21 Jun 2020 11:43:32 | Testing the common program for all w-meta-calculi. Continues pensieve://2014-07/MetaCalculi/. |
| 6 | UnitaryGamma-FindingL0 | source | Sun 17 Mar 2024 10:28:57 | Wed 1 Feb 2023 09:22:13 | Unitarity for Γ-calculus - finding the ${\mathcal L}_0$ for which $\bar{A}={\mathcal L}_0A$. |
| 7 | UnitaryGamma | source | Sun 17 Mar 2024 10:28:57 | Wed 15 Feb 2023 07:57:06 | Unitarity for Γ-calculus. |
