Riffs & Rotes & A061396

[Jon Awbrey]

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

memories like strawberries ... grow fuzzy with time ...

i remember now that it was bonnie stewart who first told me about mullin's work,
only he said "mulligan", so that threw me off the trail for a while, and it was
only later when r.w. robinson gave me the correct name that i was able to find
his work on "mosaics".  here are the references that i can find at present:

| mullin, a.a.,
|'zeitschrift f. math. logik und grundlagen d. mathk.',
| bd. 10, p.159 & p.199, 1964.

| mullin, a.a.,
|'notre dame j. of formal logic',
| vol. 8, no. 4, p. 353, oct. 1967.

a basic reference on dana scott's "d_infinity" (model of lambda calculus) is this:

| stoy, j.e.,
|'denotational semantics:  the scott-strachey approach to programming language theory',
| mit press, cambridge, ma, 1977.

jon awbrey

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o