History of proj-plbook-plNotesToSelf
2014-07-12
05:09 UTC
Revision 1
. . . .
BayleShanks
–
on total functions: " Girard and Reynolds’ System F (1971): characterization of the provably total functions of second- order arithmetic . . .