cotalks.dev

"Linear Logic Programming" by Chris Martens (2013)

(link)