Linear Logic Related Pages

Last modified: Tue May 21 13:44:03 2002 JST

I am not a linear logician.
Jean-Yves Girard
at Linear'96, Tokyo, April 1996

Linear Logic Pages

SRI Linear Logic Home Page (maintained by Patrick Lincoln)
Bookmarks on Linear Logic (maintained by Pablo Lopez)
Linear logic, logic programming links (maintained by Michael Winikoff)
Links related to Linear Logic (maintained by Mutsunori Banbara)
Logic Related Links (maintained by Christian Urban)

Papers and Texts

Bibliography on Linear Logic and What's new in Linear Logic
Jean-Yves Girard: Linear Logic: its Syntax and Semantics (PS+gzip)
Anne Troelstra: Lectures on Linear Logic, CSLI Lecture Notes No.29, 1992.
Frank Pfenning: Graduate course on Linear Logic
Torben Brauner: Introduction to Linear Logic
Roberto Di Cosmo: The Linear Logic Primer
Patrick Lincoln: Linear Logic (PS+gzip)
Andre Scedrov: Linear Logic and Computation: A Survey (DVI+gzip)
Dale Miller: Overview of Linear Logic Programming, A Survey of Linear Logic Programming

Linear Logic Programming Languages

See LLP page

Linear Logic Provers

See llprover page

Researchers in Japan

Hasegawa, Kyoto Univ.
Ito Lab., Tohoku Univ.
Kobayashi Lab., Tokyo Institute of Technology
Murakami, Okayama Univ.
Nagayama, Tokyo Woman's Christian Univ.
Nakanishi Lab., Keio Univ.
Ogata, ETL
Okada Lab., Keio Univ.
Ono Lab., JAIST
Shirahata, Keio Univ.
Takayama Lab., Ritsumeikan Univ.
Tanabe, Japan Science and Technology Corporation
Yamada Lab., Science Univ. of Tokyo
Yonezaki Lab., Tokyo Institute of Technology
Yonezawa Lab., Univ. of Tokyo

Search

Search "linear logic" pages (via go2net.com)
Search "linear logic" pages in Japan (via www.infoseek.co.jp)
Search "linear logic" pages in Japan (via www.lycos.co.jp)
Search "linear logic" pages in Japan (via www.excite.co.jp)

Unrelated Pages