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.