Foundations of Programming Languages: Linear Logic [1/2] - Paul Downen - OPLSS 2018

Oregon Programming Languages Summer School
Parallelism and Concurrency
July 3-21, 2018
University of Oregon
www.cs.uoregon...
Title: Foundations of Programming Languages: Linear Logic [1/2]
Speaker: Paul Downen, University of Oregon
Date: Saturday, 7 July 2018, Session 1
Topics: linear logic ; Curry-Howard correspondence ; proofs as programs ; sequent calculus ; multiplicative additive linear logic ; duality theorem ; involutive negation ; one- vs. two-sided presentation
© 2018, University of Oregon