Computer Science
  • Compiler Technologies behind Logics

    by Vanessa McHale | Computer Science

    As I wrote elsewhere, garbage collection - manual memory management correspond to intuitionistic logic - linear logic. So garbage collection is a technology with logical implications.