Bookmarks on Linear Logic

Contents

People
Documentation and References
Languages, Provers, and Tools

People

Samson Abramsky
Jean-Marc Andreoli
Andrea Asperti
Mutsunori Banbara
Nick Benton
Gavin Bierman
Torben Brauner
Iliano Cervesato
Roberto di Cosmo
Vincent Danos
Giorgio Delzanno
Roy Dyckhoff
Francois Fages
Maribel Fernández
Christophe Fouqueré
Jean Gallier
Didier Galmiche
Philippa Gardner
Jean-Yves Girard
Stefano Guerrini
James Harland
Joshua S. Hodas
Furio Honsell
Martin Hyland
Jean-Baptiste Joinet
Yves Lafont
Francois Lamarche
Patrick Lincoln
Roberto Maieli
Ian Mackie
Simone Martini
Dale Miller
Luke Ong
Valeria de Paiva
Guy Perrier
Frank Pfenning
Andrew Pitts
Gordon Plotkin
Jeff Polakow
David Pym
Laurent Regnier
Paul Ruet
André Scedrov
Natarajan Shankar
Tanel Tammet
Naoyuki Tamura
Christian Urban
René Vestergaard
Philip Wadler
Lincoln Wallen
Michael Winikoff
Glynn Winskel

Documentation and References

SRI Linear Logic Home Page maintained by Patrick Lincoln
Carnagie-Mellon Bibliography on Linear Logic maintained by Carsten Schürmann
European Research Network on Linear Logic in Computer Science
The Linear Logic Pages maintained by Yves Lafont
The Linear Logic Primer Course by Vincent Danos and Roberto di Cosmo
Graduate Course on Linear Logic by Frank Pfenning
Links Rekated to Linear Logic maintained by Mutsunori Banbara
Logic Related Links maintained by Christian Urban
Virtual WWW Library: Logic Programming
Hypatia Library

Languages, Provers, and Tools

Forum
ForumTalk
Gandalf
Helmet
Linear Logic Proof Game
LLF
LLP
llprover: A Linear Logic Prover
Lolli
Lygon
MALL prover
PRObjLOG
Rits Concurrency Workbench
UMA Forum
Yahoo