At the Lambda Zagreb Meetup this Monday I gave a talk on terminating and productive functions. It was an interesting discussion with questions that tied the topic and examples I had with natural numbers, linear types and communicating systems.
After the talk I slightly reworked the slides. You can get them and code examples if you are interested: download.