This graduate course provides an introduction to linear logic with an emphasis on its applications ... but an exposure to functional programming and type systems would be helpful. Enterprising ...