Series: Logic Seminar

Speaker: Dale Miller (Penn State, Computer Science and Engineering)

Title: Topics in Linear Logic

Date: Tuesday, May 5, 1998

Time: 2:30 PM

Place: 113 McAllister Building

Abstract:

Linear logic was introduced in 1987 by J-Y Girard (Theoretical
Computer Science, volume 50).  I will overview various aspects of
linear logic ranging from sequent calculus, proof nets, semantics, and
applications in computer science.  Familiarity with the basics of
natural deduction and sequent calculus will be assumed.