(ↄ) | Dror Bar-Natan: AcademicPensieve: Projects: | About Recent Changes This Month Random |
This is the construction page for MetaMonoids.pdf; all sources are at MetaMonoids.zip.
JKTR-Files OriginalImages Recycling / 2013-03 817_10x_greened.pdf 817labeled.pdf cloud.pdf Crossings.pdf InvitationToWriteLectureNotesVolume.pdf MetaMonoids-JKTR.pdf MetaMonoids.pdf PageProofs@.pdf PageProofs.pdf R1.pdf R2.pdf R3left_numbered.pdf R3.pdf R3right_numbered.pdf sw1_check.pdf sw1.pdf sw2.pdf Zfigure.pdf
Notebook (.pdf) | Source (.nb) | Created | Last Modified | Summary | |
---|---|---|---|---|---|
1 | betaDemo | source | 2024-03-17 11:28:57 | 2013-02-18 14:05:09 | Programs for β-calculus. |
2 | betaStudy-2 | source | 2024-03-17 11:28:57 | 2013-02-28 20:26:00 | Programs for β-calculus, development notebook. |
3 | betaStudyOnV8.0 | source | 2024-03-17 11:28:57 | 2013-02-05 06:20:12 | Programs for β-calculus, development notebook. |
4 | betaStudy | source | 2024-03-17 11:28:57 | 2013-02-08 07:10:47 | Programs for β-calculus, development notebook. |
5 | index | source | 2024-03-17 11:28:57 | 2013-10-07 04:22:47 | |
6 | Make | source | 2024-03-17 11:28:57 | 2013-02-22 15:46:36 |