History of notes-computer-programming-programmingLanguagesBook-programmingLanguagesNotesToSelf
2014-06-28
01:23 UTC
Revision 1
. . . .
BayleShanks
–
on total functions: " Girard and Reynolds’ System F (1971): characterization of the provably total functions of second- order arithmetic . . .
![[Home]](http://www.bayleshanks.com/cartoonbayle.png)
