"Linear Logic Programming" by Chris Martens (2013) | Strange Loop Conference | Podwise