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.