Page
%P
-
Chapter
ERNA at work
Elementary Recursive Nonstandard Analysis, in short ERNA, is a constructive system of nonstandard analysis proposed around 1995 by Chuaqui, Suppes and Sommer. It has been shown to be consistent and, without st...
-
Chapter and Conference Paper
Soluble and Membrane-Associated Factors Required for Protein Translocation into the Yeast Endoplasmic Reticulum
A genetic approach aimed at defining molecules that participate in protein translocation across the membrane of the endoplasmic reticulum (ER) has led to the identification of three new genes. Mutant cells tha...