63 research outputs found
Mitochondrial hexokinase of rat hepatoma cells in culture: solubilization and kinetic properties
Full text linkMonoclonal antibody-based enzyme-linked immunosorbent assays for the rapid diagnosis of clinical cases of enteric redmouth and furunculosis in fish farms
No full text
Gene transfer into hematopoietic cells of mouse and itsin vivo expression after transplantation
No full text
λ-calculus as a foundation for mathematics
No full textChurch introduced λ-calculus in the beginning of the thirties as a foundation of mathematics and map theory from around 1992 fulfilled that primary aim. The present paper presents a new version of map theory whose axioms are simpler and better motivated than those of the original version from 1992. The paper focuses on the semantics of map theory and explains this semantics on basis of κ-Scott domains. The new version sheds some light on the difference between Russells and Burali-Fortis paradoxes, and also sheds some light on why it is consistent to allow non-well-founded sets in a ZF-style system
Genetically Engineered Cell Lines: Characterisation and Applications in Toxicity Testing
No full text- …
