Linear Logic in Computer Science
Linear Network
Applying for a post-doc
Scientific description
Meetings
CFP: Book on
LL
Sites
Marseille
Bologna
Cambridge
Edinburgh
Lisboa
Paris
Roma
Coordinator
Logic of
Programming
Laurent Regnier
TMR Programme
TMR
European Programme