Yes, that is exactly the case and you've understood the issue perfectly. I wouldn't go so far as to say first-class functions must have a garbage collector to w

Yes, that is exactly the case and you've understood the issue perfectly. I wouldn't go so far as to say first-class functions must have a garbage collector to work, but I would say that they are so dependent that this would really be a bold area of computer science research.