Intensionality, Intensional Recursion, and the Gödel-Löb axiom

  title={Intensionality, Intensional Recursion, and the G{\"o}del-L{\"o}b axiom},
  author={G. A. Kavvos},
computer virology is the study of formalisms that model computer viruses. There are many ways to formalise viruses. We will use the model of Adleman [2], where files can be interpreted either as data, or as functions. We introduce a data type F , and two constants in : (F → F)→ F and out : F → (F → F) such that out (in M)→ M, making (F → F) a retract of F… CONTINUE READING