I Quit . . . Again

Reducibility Strikes Again, I!

In these notes, we prove some general theorems for establishing properties of untyped λ-terms, using a variant of the reducibility method. These theorems apply to (pure) λ-terms typable in the systems of conjunctive types DΩ and D. As applications, we give simple proofs of the characterizations of the terms having headnormal forms, of the normalizable terms, and of the strongly normalizing term...

I see the light! And I see it again and again!

In 1983, Kary Mullis at Cetus conceptualized the most important of biotechnological reactions—the polymerase chain reaction (PCR) (1 ). The idea, for which Mullis was awarded the 1993 Nobel Prize in chemistry, was as simple as it was brilliant. Given the natural ability of polymerases to copy nucleic acids in the presence of short complementary oligonucleotides it should be possible to perform ...

Replication Licensing: Oops! … I Did It Again

All eukaryotes use multiple controls to restrict DNA replication to once per cell cycle. Nevertheless, inactivation of a single gene, cul-4, causes massive re-replication in Caenorhabditis elegans. A novel study explains this dramatic phenotype by demonstrating that the CUL-4 E3 ligase simultaneously controls two critical licensing factors: CDT-1 and CDC-6.

Quit early, quit often.

again, you should read again

0