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-plNotesToSelf
on total functions: " Girard and Reynolds’ System F (1971): characterization of the provably total . . .
9K - last updated 2014-07-12 05:09 UTC by BayleShanks
2 pages found.