| Notebook (.pdf) | Source (.nb) | Created | Last Modified | Summary | |
|---|---|---|---|---|---|
| 1 | MetaCalculi-Program-150518 | source | Sun 17 Mar 2024 10:28:57 | Mon 18 May 2015 11:30:01 | A common program for all w-meta-calculi. Continues pensieve://2014-07/MetaCalculi/. |
| 2 | MetaCalculi-Testing-150518 | source | Sun 17 Mar 2024 10:28:57 | Mon 18 May 2015 11:40:38 | Testing the common program for all w-meta-calculi. Continues pensieve://2014-07/MetaCalculi/. |
| 3 | PairingForGamma-230112 | source | Sun 17 Mar 2024 10:28:57 | Thu 12 Jan 2023 06:26:16 | |
| 4 | PairingForGamma | source | Sun 17 Mar 2024 10:28:57 | Thu 12 Jan 2023 06:41:14 | |
| 5 | Scratch-230120 | source | Sun 17 Mar 2024 10:28:57 | Fri 20 Jan 2023 04:40:41 | |
| 6 | UnitaryGamma-230119 | source | Sun 17 Mar 2024 10:28:57 | Thu 19 Jan 2023 07:29:29 | Unitarity for Γ-calculus. |
| 7 | UnitaryGamma-230120 | source | Sun 17 Mar 2024 10:28:57 | Fri 20 Jan 2023 07:18:51 | Unitarity for Γ-calculus. |
| 8 | UnitaryGamma-230124 | source | Sun 17 Mar 2024 10:28:57 | Tue 24 Jan 2023 06:48:09 | Unitarity for Γ-calculus. |
| 9 | UnitaryGamma-230210 | source | Sun 17 Mar 2024 10:28:57 | Fri 10 Feb 2023 05:59:46 | Unitarity for Γ-calculus. |
| 10 | UnitaryGamma-230214 | source | Sun 17 Mar 2024 10:28:57 | Tue 14 Feb 2023 04:44:26 | Unitarity for Γ-calculus. |