The computational reading of proofs in intutionistic predicate logic (IPL) as λ-terms can be extended in two well-known ways. On the one hand, Martin-Löf showed how the Axiom of Choice (AC) can be interpreted as a term of dependent type theory. On the other hand, Griffin showed how Peirce’s law (which generates classical logic from intuitionistic) can be interpreted as a program using control o...

The draft genome sequence of Xylella fastidiosa subsp. multiplex strain Griffin-1, isolated from a red oak tree (Quercus rubra) in Georgia, is reported here. The bacterium has a genome size of 2,387,314 bp, with a G+C content of 51.7%. The Griffin-1 strain genome contains 2,903 predicted open reading frames and 50 RNA genes.

Detection and measurement of total ozone from stellar spectra: Paper 2. Historic data from 1935–1942 R. E. M. Griffin Dept. of Earth and Space Sciences and Engineering, York University, 4700 Keele Street, Toronto, ON, M3J 1P3, Canada Herzberg Institute for Astrophysics, 5071 West Saanich Road, Victoria, BC, V9E 2E7, Canada Received: 22 July 2005 – Accepted: 9 September 2005 – Published: 31 Octo...

An approach to the synthesis of isotopically labeled saturated fatty acids is outlined which is based on the copper-catalyzed coupling of an omega-bromo acid with an isotopically labeled Grignard reagent. The method provides high yields of pure products and offers considerable flexibility in the type of isotopically enriched compound that can be prepared.-DasGupta, S. K., D. M. Rice, and R. G. ...