Search for: "proj-plbook-plChProofLangs"

View changes for these pages

proj-oot-old-150618-ootSyntaxNotes2
we want to be able to declare some functions as associative, etc. Perhaps it would be best if, just like . . .
51K - last updated 2015-06-19 04:31 UTC by BayleShanks

proj-oot-ootLogicNotes1
I guess if we are doing 'RDFt' we should generalize this to add other modifiers (qualifiers and quantitiers, . . .
52K - last updated 2023-02-19 02:21 UTC by BayleShanks

proj-oot-ootSyntaxNotes2
we want to be able to declare some functions as associative, etc. Perhaps it would be best if, just like . . .
51K - last updated 2015-06-06 21:07 UTC by BayleShanks

proj-plbook--index
* [Self:proj-plbook-plPartDesign plPartDesign] * [Self:proj-plbook-plChStackMachines plChStackMachines] . . .
10K - last updated 2022-12-08 23:46 UTC by BayleShanks

proj-plbook-plChProofLangs
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] TODO: this is related . . .
45K - last updated 2023-12-11 03:08 UTC by BayleShanks

proj-plbook-plContents
Please note that these are only notes towards two books that will probably never be finished. The "books" . . .
17K - last updated 2022-12-08 22:42 UTC by BayleShanks

proj-plbook-plPartSubturingLanguages
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] == Part III: Subturing, . . .
2K - last updated 2017-09-26 19:05 UTC by BayleShanks

7 pages found.