Linear Logic Links
Useful Links
Introduction and Surveys
Languages and Implementations
Theorem Provers
LL in Japan
Useful Links
CMU graduate course on Linear Logic
, by
Frank Pfenning
.
LOGIQUE DE LA PROGRAMMATION
CMU Bibliography on Linear Logic
, by
Iliano Cervesato
.
Logic Related Links
, by
Christian Urban
.
Bookmarks on Linear Logic
, by
Pablo Lopez
.
Introduction, Surveys, and Texts
Lectures on Linear Logic, CSLI Lecture Notes No.29, 1992. by
Anne Troelstra
.
Linear logic
, by
Patrick Lincoln
.
A Brief Guide to Linear Logic
, by
Andre Scedrov
.
Linear Logic and Computation: A Survey
, by
Andre Scedrov
.
A Survey of Linear Logic Programming
, by
Dale Miller
Overview of linear logic programming
, by
Dale Miller
Languages and Implementations
The Forum Specification Language
, by
Dale Miller
.
Lolli
, by
Josh Hodas
.
LO, LinLog, by
Jean-Marc Andreoli
.
Lygon
, by
James Harland
,
David Pym
and
Michael Winikoff
.
UMA Forum
: A Prolog implementaion of a subset of Forum, by
Pablo Lopez
and
Ernesto Pimentel
Giorgio Delzanno
's Research Projects:
YahOO
,
PRObjLOG
, and
Helmet
.
The Linear Logical Framework LLF
, by
Iliano Cervesato
and
Frank Pfenning
.
LLP : A
L
inear
L
ogic
P
rogramming Language and its Compiler System
, by
Naoyuki Tamura
and
Mutsunori Banbara
.
Prolog Cafe
: A Lolli to Java Translator System, by
Mutsunori Banbara
and
Naoyuki Tamura
.
Theorem Provers
Linprove (Linseq & Linres)
, by
Tanel Tammet
.
linTAP: A Tableau Prover for Linear Logic
, by Heiko Mantel and
Jens Otten
.
llprover: A Linear Logic Prover
(Prolog program), by
Naoyuki Tamura
.
People working on Linear Logic in Japan
M. Hasegawa
, Kyoto Univ.
Ito Lab.
, Tohoku Univ.
Kobayashi Lab.
, Univ. of Tokyo
M. Murakami
, Okayama Univ.
M. Nagayama
, Tokyo Woman's Christian Univ.
Nakanishi Lab.
, Keio Univ.
I. Ogata
, AIST
Okada Lab.
, Keio Univ.
Ono Lab.
, JAIST
Shirahata
, Keio Univ.
Takayama Lab.
, Ritsumeikan Univ.
N. Tamura
, Kobe Univ.
Tanabe
, Japan Science and Technology Corporation
Yamada Lab.
, Science Univ. of Tokyo
Yonezaki Lab.
, Tokyo Institute of Technology
Yonezawa Lab.
, Univ. of Tokyo
Mutsunori BANBARA