Last update: Fri Aug 9 02:18:06 MDT 2024
Return to index directory
Math
-
$+$, 24(4)55--58
-
$=$, 16(9)83--89, 24(4)55--58, 24(6)49--54
-
$^*$, 24(1)261--270
-
$^1$, 20(9)21--26, 22(7)283--291
-
$2$, 24(12)21--23
-
$^2$, 18(8)81--90, 20(9)21--26
-
${}^2$, 24(7)101--109, 24(7)285--297
-
$^3$, 21(12)37--79
-
\$, 18(1)42--46, 18(4)55--57
-
calculus, \$lambda@-, 24(7)192--206
-
calculus, \$lambda-, 24(9)152--157
-
$ \forall $, 0(0)1--2
-
$ \lambda $, 0(0)98--106
-
\$lambda-calculus, 24(9)152--157
-
\$lambda@-calculus, 24(7)192--206
-
$n$, 21(12)99--110
-
$ N \leq 8 $, 21(8)28--30, 21(9)63--76, 22(2)43--52
-
$ \omega $, 0(0)89--104
-
$p$, 19(9)5--11
-
$ \prime $, 24(4)55--58
-
$_{\rm Ada}$, 15(11)101--112
-
$^{ TM}$, 0(0)9--12