`When I make a word do a lot of work like that,' said Humpty Dumpty, `I always pay it extra.'
-Through the Looking Glass by Lewis Carroll
In biology, we often ask our words do a lot of work.
In what other field would we write direction like this
"Transfer 10 lambda of lambda phage DNA into a cuvette and determine the lambda max."
More like this
Biologist Esther Lederberg died recently--unfortunately, it wasn't very well covered (the NY Times was only a month late...).
Lambda calculus started off with the simple, untyped lambda calculus that we've been talking about so far. But one of the great open questions about lambda calculus was: was it sound? Did it have a valid model?
I'm on vacation this week, so I'm recycling some posts that I thought were particularly interesting to give you something to read.
------------
This is one of the last posts in my series on category theory; and it's a two parter. What I'm going to do in these two posts is show the correspondence between lambda calculus and the [cartesian closed categories][ccc].
Ahem... Don't want to seem like an idiot, but could you translate it?
Ok, I guess I can forget about appearing like an idiot now, lol.
I can translate it anyway.
The first lambda is a unit for measuring volume and it means a microliter (1 x 10-6) liter.
The second lambda is a virus that infects bacteria.
The third lambda represents wavelength.