• Publications
  • Influence
The Mechanical Evaluation of Expressions
TLDR
This paper is a contribution to the "theory" of the activity of using computers. Expand
  • 1,023
  • 49
  • PDF
A λ-CALCULUS APPROACH
TLDR
This chapter presents an introduction to a complementary activity is called semantic analysis and explores a mathematical basis for it. Expand
  • 47
  • 3
PROGRAMS AND THEIR PROOFS: AN ALGEBRAIC APPROACH,
TLDR
A method of defining functions as homomorphisms instead of recursive or iterative definitions is explained. Expand
  • 125
  • 2
Histories of Discoveries of Continuations: Belles-Lettres with Equivocal Tenses
TLDR
The early sixties saw conventional labels \got rid of", and then reintroduced in a nuclear variant that was hoped to be so awesome that they would never be used again except for exceptions. Expand
  • 10
  • 2
Enveloped Virus Inactivation by Fatty Acid Derivatives
The enveloped bacteriophage φ6 has been shown to be a valuable model system for the preliminary screening of compounds that might be expected to inactivate herpes simplex virus and other envelopedExpand
  • 33
Transfusion-Related Non-A, Non-B Hepatitis in Elective Spine Deformity Surgery Patients in Gothenburg, Sweden
This study presented a retrospective analysis of the incidence and clinical course of non-A, non-B hepatitis In patients after receiving homologous blood transfusion for elective spine deformityExpand
  • 6
Inhibition of entry of the lipid-containing bacteriophage PR4 by fatty acid derivatives.
Amphiphilic fatty acid derivatives having a 14- to 20-carbon cis-unsaturated alkyl chain were found to be potent inhibitors of the entry process of the lipid-containing bacteriophage PR4.
  • 8
Comments on Naur's Non-rectangular arrays
TLDR
A power driven hammer drill has a tool impacting mechanism, a wobble unit for reciprocating the tool striking mechanism and having a drum member which can be releasably coupled with an intermediate shaft driven by a motor, wherein a switching device is provided outside of a hammer drill housing. Expand
Review: Book Review
Peter J. Landin (1930–2009)
This note is a prelude to a forthcoming special issue of HOSC dedicated to Peter Landin’s memory.
...
1
2
...