Introduction to linear logic
Emmanuel Beffara · 2013
Abstract. �is manuscript is the lecture notes for the course of the same title I gave at the Summer school on linear logic and geometry of interaction that took place in Torino in August 2013. �e aim of this course