History of books-programmingLanguagesNotesToSelf
2013-09-06
08:56 UTC
Revision 1
. . . .
BayleShanks
–
on total functions: " Girard and Reynolds’ System F (1971): characterization of the provably total functions of second- order arithmetic . . .