Accueil
Plan du site
Bloc notes
Jeux
Graphes
Combinatoire
Arithmétique
Algèbre
Analyse
Probabilités
Automates
Programmation
Divers
Liens
Home
Plan du site
Bloc notes
Jeux
Graphes
Combinatoire
Arithmétique
Algèbre
Analyse
Probabilités
Automates
Programmation
Divers
Liens
Home
Logique Linéaire - Linear Logic
| SOMMAIRE | Pages Web | Demos | Logiciels | Théorie | ThÈses | Livres |
| Papiers | Cours | Firmes | Liens |
| Papiers | Cours | Firmes | Liens |
PAGES WEB
This graduate course provides an introduction to linear logic with an emphasis on its applications in computer science.
<http://www.cs.cmu.edu/~fp/courses/linear/index.html>
is one of the world's major centers of research in artificial intelligence.
<http://www.ai.sri.com/>
<http://www.csl.sri.com/linear/sri-csl-ll.html>
DEMOS
User's Guide of a Linear Logic Theorem Prover (llprover) (1998) – This program finds a cut-free proof of a given sequent (however, cut rules are used when axioms are given). That is, it creates a proof from bottom to up by applying applicable rules.
<http://bach.istc.kobe-u.ac.jp/llprover/>
LOGICIELS - SOFTWARES
SML/NJ web pages, including the Basis web pages
<http://cm.bell-labs.com/cm/cs/what/smlnj/>
Forum and its Implementation
<http://www-theory.dcs.st-and.ac.uk/~rd/logic/nonmac/>
THÉORIE - THEORY
NAOYUKI TAMURA and YUKIO KANEDA
This paper describes a compiler system of a linear logic programming language called LLP. New features of LLP with various example programs are also shown. LLP is a superset of Prolog and a subset of Lolli. LLP programs are compiled into LLPAM (LLP Abstract Machine) code, which is an extended WAM (Warren Abstract Machine) designed for LLP. Keywords: Logic programming, Linear logic, Warren Abstract Machine
<http://bach.seg.kobe-u.ac.jp/llp/papers/asc97/asc97.html>
THÈSES - THESIS
Christian Urban
<http://www-theory.dcs.st-and.ac.uk/~rd/publications/cu/abstract.html>
LIVRES - BOOKS
(articles)Girard, J.-Y. : Linear Logic, Theoretical Computer Science, London Mathematical 50:1, pp. 1-102, 1987. Restored by Pierre Boudes.
<http://iml.univ-mrs.fr/~girard/linear.pdf>
Jean-Yves Girard Cours de théorie de la démonstration, Roma Tre, Octobre-Décembre 2004.
The Blind Spot Lectures on proof-theory, Roma Tre, October-December 2004. English translation.
<http://iml.univ-mrs.fr/~girard/cours/cours.html>
DOCUMENTS - PAPERS
<http://www.csl.sri.com/linear/papers/other-papers.html> <http://www-theory.dcs.st-and.ac.uk:80/~rd/publications/> <http://bach.seg.kobe-u.ac.jp/llp/papers/>
COURS - COURSES
Frank PfenningCarnegie Mellon University
<http://www.cs.cmu.edu/~fp/courses/98-linear/handouts.html>
FIRMES - FIRMS
is an innovative software development company, located in Denton, Texas. We specialize in Java and Prolog based Internet programming and Intelligent Mobile Agent building tools
<http://www.binnetcorp.com/>
LIENS - LINKS
<liens_math.html> <liens_logic.html>
| SOMMAIRE | Pages Web | Demos | Logiciels | Théorie | ThÈses | Livres |
| Papiers | Cours | Firmes | Liens |
| Papiers | Cours | Firmes | Liens |
| Accueil | Plan du site | Bloc notes | Jeux | Graphes | Combinatoire | Arithmétique | Algèbre |
| Analyse | Probabilités | Automates | Informatique | Divers | Lycée |
| Analyse | Probabilités | Automates | Informatique | Divers | Lycée |
Advertising :
If you see a reference in one of the files that is not linked, and you know of a link address to the appropriate document,
please send me mail, and I will include the link in the document. Thanks very much in advance.
Avertissement : Le classement par catégories est approximatif. Certains liens se retrouvent dans des rubriques différentes et sur plusieurs pages. Les commentaires sont généralement des courts extraits des pages référencées. Il est possible que certains liens nécessitent une mise à jour.
Tous commentaires ou remarques sont les bienvenus, vous pouvez les adresser à :
Les mises à jour demandées sont réalisées dès que possible et, sauf si c'est nécessaire, aucun message de réponse n'est expédié. Merci de m'écrire.
Copyright © 1999-2012 Jean-Paul Davalan - Reproduction interdite.
Avertissement : Le classement par catégories est approximatif. Certains liens se retrouvent dans des rubriques différentes et sur plusieurs pages. Les commentaires sont généralement des courts extraits des pages référencées. Il est possible que certains liens nécessitent une mise à jour.
Tous commentaires ou remarques sont les bienvenus, vous pouvez les adresser à :
Les mises à jour demandées sont réalisées dès que possible et, sauf si c'est nécessaire, aucun message de réponse n'est expédié. Merci de m'écrire.
Copyright © 1999-2012 Jean-Paul Davalan - Reproduction interdite.