| 1 |
ClosedComponents |
source |
Sun 17 Mar 2024 11:27:58 |
Tue 12 May 2015 07:01:52 |
Studying closed components in Γ-calculus. |
| 2 |
MetaCalculi-Program |
source |
Sun 17 Mar 2024 11:27:58 |
Tue 6 Oct 2015 09:26:07 |
A common program for all w-meta-calculi. Continues pensieve://2014-06/MetaCalculi/, continued pensieve://Projects/MetaCalculi/. |
| 3 |
MetaCalculi-Testing |
source |
Sun 17 Mar 2024 11:27:58 |
Tue 6 Oct 2015 09:26:02 |
Testing the common program for all w-meta-calculi. Continues pensieve://2014-06/MetaCalculi/, continued pensieve/Projects/MetaCalculi/. |