Accepted Papers - Structures and Deduction Workshop (ICALP'05 Satellite)

(ICALP Workshop-Lisbon July 16-17, 2005)

STRUCTURES AND DEDUCTION
The quest for the essence of proofs
http://www.prooftheory.org/sd05

****************************
LIST OF ACCEPTED PAPERS

14 submissions were accepted. They are listed below, in no particular order.

****************************

Elaine Pimentel, Simona Ronchi della Rocca and Luca Roversi:
Intersection Types: a Proof-Theoretical Approach

Christophe Fouqueré and Virgile Mogbil:
Rewritings in polarized (partial) proof structures

Lutz Strassburger: