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

@article{Kavvos2017IntensionalityIR,
  title={Intensionality, Intensional Recursion, and the G{\"o}del-L{\"o}b axiom},
  author={G. A. Kavvos},
  journal={CoRR},
  year={2017},
  volume={abs/1703.01288}
}
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